Inventory rows CV
The cards of the rows of the inventory whose ids start with CV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
List of things named after André Weil CV03NZBT56
| URI | m2://inv/CV03NZBT56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil, List of things named after André Weil (topic). Also Wikidata Q16943653
History
- 2026-11-02: add by m2/dev
CV0505996W CV0505996W
| URI | m2://inv/CV0505996W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#example-5 (example). In RZP28ERRZV, example, section 32.3
History
- 2026-11-01: add by m2/v0.6.13
CV05JJ54MT CV05JJ54MT
| URI | m2://inv/CV05JJ54MT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16941#D3NJ (statement). In T96MPYB0KT/e1, corollary 3.13.1
History
- 2026-10-28: add by m2/v0.4.2
Netto's theorem CV078E845A
| URI | m2://inv/CV078E845A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q112740521, Netto's theorem (statement). Also Wikidata Q112740521
- thousand_plus: thousand_plus Q112740521, Netto's theorem (statement). Also Wikidata Q112740521, Wikipedia Netto's theorem
- wikipedia: Wikipedia Netto's theorem, Netto's theorem (statement). Also Wikidata Q112740521
History
- 2026-10-26: add by m2/dev
surface CV0DTXMV50
| URI | m2://inv/CV0DTXMV50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3505239, surface (unknown). Also MathWorld Surface
- wikipedia: Wikipedia Surface (mathematics), Surface (definition). Also Wikidata Q3505239
History
- 2026-10-26: add by m2/dev
Platonized naturalism CV0G5CY0H7
| URI | m2://inv/CV0G5CY0H7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Platonism#17Z5, Platonized naturalism (unknown)
History
- 2026-11-02: add by m2/dev
CV0H9NV4T5 CV0H9NV4T5
| URI | m2://inv/CV0H9NV4T5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#FLQG (example). In HS4X20TX33/e1, example 0.38
History
- 2026-10-30: add by m2/v0.4.12
Overlapping interval topology CV0M2WTB0S
| URI | m2://inv/CV0M2WTB0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of examples in general topology#FG4H, Overlapping interval topology (definition)
History
- 2026-11-02: add by m2/dev
Definition CV0Z720JPZ
| URI | m2://inv/CV0Z720JPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological entropy#L9SO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Computation CV0ZPQ9R8G
| URI | m2://inv/CV0ZPQ9R8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical basis#41Z3, Computation (definition)
History
- 2026-11-02: add by m2/dev
Linear endomorphism CV152SZ5E9
| URI | m2://inv/CV152SZ5E9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear map#EMUV, Linear endomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Minimal endpoint spaces CV15J7QZ0C
| URI | m2://inv/CV15J7QZ0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#G3XF, Minimal endpoint spaces (statement). In N6GD8392QB/e1, proposition 11.4
History
- 2026-10-28: add by m2/v0.4.2
CV1915KQC5 CV1915KQC5
| URI | m2://inv/CV1915KQC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#corollary-2 (statement). In RZP28ERRZV, corollary, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Theorem A (rings) CV199W983M
| URI | m2://inv/CV199W983M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#O726, Theorem A (rings) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Definition CV19B485VW
| URI | m2://inv/CV19B485VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn polynomials#HCEJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
One-dimensional asymptotics CV1DZ49WM4
| URI | m2://inv/CV1DZ49WM4 |
|---|---|
| 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.35548#ZQH9, One-dimensional asymptotics (statement). In 12AXZ0DFD9/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Serre's multiplicity conjectures CV1E487NFC
| URI | m2://inv/CV1E487NFC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's multiplicity conjectures, Serre's multiplicity conjectures (conjecture). Also Wikidata Q7455403
History
- 2026-11-02: add by m2/dev
Xenocrates CV1FW25TQE
| URI | m2://inv/CV1FW25TQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#96WF, Xenocrates (unknown)
History
- 2026-11-02: add by m2/dev
Finite-flat Segre comparison CV1GFQ6B8Z
| URI | m2://inv/CV1GFQ6B8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#8T1J, Finite-flat Segre comparison (statement). In WVX0T502A1/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
The Man Who Counted CV1MQW5X7Q
| URI | m2://inv/CV1MQW5X7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Man Who Counted, The Man Who Counted (definition). Also Wikidata Q1748858
History
- 2026-11-02: add by m2/dev
Properties of the Legendre symbol CV1TTSTBF5
| URI | m2://inv/CV1TTSTBF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre symbol#WRLU, Properties of the Legendre symbol (statement)
History
- 2026-11-02: add by m2/dev
CV1X9SF5E4 CV1X9SF5E4
| URI | m2://inv/CV1X9SF5E4 |
|---|---|
| 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.05804#2Y1V (statement). In 8CBVCXJ17A/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
List of Laplace transforms CV2BKVKZZQ
| URI | m2://inv/CV2BKVKZZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms, List of Laplace transforms (topic). Also Wikidata Q25047839
History
- 2026-11-02: add by m2/dev
Johnson–Lindenstrauss lemma CV2C3315N2
| URI | m2://inv/CV2C3315N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5EHJ, Johnson–Lindenstrauss lemma (statement)
History
- 2026-11-02: add by m2/dev
Certificate, second arc, band below region top CV2D5TXF1C
| URI | m2://inv/CV2D5TXF1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#D09H, Certificate, second arc, band below region top (statement)
History
- 2026-11-01: add by m2/v0.6.15
CV2F7P9WNX CV2F7P9WNX
| URI | m2://inv/CV2F7P9WNX |
|---|---|
| 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.29498#0IDC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Avogadro constant CV2M4X8HN4
| URI | m2://inv/CV2M4X8HN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6203, Avogadro constant (unknown). Also nLab Avogadro constant
History
- 2026-10-26: add by m2/dev
CV2ZP0R6H3 CV2ZP0R6H3
| URI | m2://inv/CV2ZP0R6H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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.19194#JMAF (statement). In P9D8W64P7X/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
CV317NE5VB CV317NE5VB
| URI | m2://inv/CV317NE5VB |
|---|---|
| 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.32937#ZYA6 (statement). In RB0SJRQP6X/e1, lemma A.2
History
- 2026-10-31: add by m2/v0.5.6
Cristina Manolache CV3ER39AJ4
| URI | m2://inv/CV3ER39AJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristina Manolache, Cristina Manolache (topic). Also Wikidata Q102424105
History
- 2026-11-02: add by m2/dev
Factoriangular number CV3N8QW2P3
| URI | m2://inv/CV3N8QW2P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#4JT1, Factoriangular number (definition)
History
- 2026-11-02: add by m2/dev
CV3P46FW6X CV3P46FW6X
| URI | m2://inv/CV3P46FW6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#PS0C (statement). In GMRT5GHBZS/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
CV3Q4WWMRE CV3Q4WWMRE
| URI | m2://inv/CV3Q4WWMRE |
|---|---|
| Kind | conjecture |
| 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 0906.4245#KVG1 (conjecture). In GPVBE4SEVF/e1, conjecture
History
- 2026-10-27: add by m2/v0.3.5
Cofactor-four criterion from the Legendre trace CV3T2SZ1M7
| URI | m2://inv/CV3T2SZ1M7 |
|---|---|
| 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.03121#OY0Q, Cofactor-four criterion from the Legendre trace (statement). In T50D36FB04/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
CV3Z984BS8 CV3Z984BS8
| URI | m2://inv/CV3Z984BS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03775#EHVS (statement). In NM928YZQVJ/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
CV41MKTCG6 CV41MKTCG6
| URI | m2://inv/CV41MKTCG6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
CV47HC7YAF CV47HC7YAF
| URI | m2://inv/CV47HC7YAF |
|---|---|
| Kind | problem |
| 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#FDVI (problem)
History
- 2026-11-01: add by m2/v0.6.15
CV4FYKYEHR CV4FYKYEHR
| URI | m2://inv/CV4FYKYEHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02585#MCIZ (statement). In V0KBBY82SY/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.12
Kubilius model CV4ZG9NKAA
| URI | m2://inv/CV4ZG9NKAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kubilius model, Kubilius model (definition). Also Wikidata Q55616267
History
- 2026-11-02: add by m2/dev
Four-dimensional tangent Ricci shrinkers CV53YZRK00
| URI | m2://inv/CV53YZRK00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#BN3A, Four-dimensional tangent Ricci shrinkers (statement). In ET0TQ8YF7Z/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
Koecher–Maass series CV56401J3V
| URI | m2://inv/CV56401J3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koecher–Maass series, Koecher–Maass series (definition). Also Wikidata Q6425524
History
- 2026-11-02: add by m2/dev
CV577BNBDK CV577BNBDK
| URI | m2://inv/CV577BNBDK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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.10925#U1CD (example). In 9604WYX0BW/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.3
hypercusp CV58H9WNE5
| URI | m2://inv/CV58H9WNE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#X1IW, hypercusp (definition)
History
- 2026-11-02: add by m2/dev
Properties CV5A933MVK
| URI | m2://inv/CV5A933MVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleolus (game theory)#1I4U, Properties (statement)
History
- 2026-11-02: add by m2/dev
$T$ monadically NIP CV5KPYJAT1
| URI | m2://inv/CV5KPYJAT1 |
|---|---|
| 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.25129#R0H0, $T$ monadically NIP (statement)
History
- 2026-11-01: add by m2/v0.6.15
CV5P3A1GVM CV5P3A1GVM
| URI | m2://inv/CV5P3A1GVM |
|---|---|
| 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.05767#87VJ (statement). In BG6MTYCXWS/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
\textbf{Local Polynomial Reconstruction CV5SM41MJ2
| URI | m2://inv/CV5SM41MJ2 |
|---|---|
| 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.02791#NY25, \textbf{Local Polynomial Reconstruction (statement). In TT9BA4VMTW/e1, proposition A.5
History
- 2026-10-29: add by m2/v0.4.12
CV5Z4Q13PK CV5Z4Q13PK
| URI | m2://inv/CV5Z4Q13PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#0LW5 (statement). In PZ17NHGAKX/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Stretching field CV6B4EG8NC
| URI | m2://inv/CV6B4EG8NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stretching field, Stretching field (definition). Also Wikidata Q7623499
History
- 2026-11-02: add by m2/dev
CV727XP6MP CV727XP6MP
| URI | m2://inv/CV727XP6MP |
|---|---|
| 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.04603#VM8U (definition). In HEAG8V2JM1/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
CV76H2T2Y0 CV76H2T2Y0
| URI | m2://inv/CV76H2T2Y0 |
|---|---|
| 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.21508#O7PQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Why the braid extension matters for projective finiteness CV784B7YXX
| URI | m2://inv/CV784B7YXX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#FO9O, Why the braid extension matters for projective finiteness (example)
History
- 2026-11-01: add by m2/v0.6.15
Distributed point function CV7MFWTR6R
| URI | m2://inv/CV7MFWTR6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed point function, Distributed point function (definition). Also Wikidata Q42416450
History
- 2026-11-02: add by m2/dev
Persistence of finite variance CV7MTPF3AB
| URI | m2://inv/CV7MTPF3AB |
|---|---|
| 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.02933#8GE0, Persistence of finite variance (statement). In QSYZKPFRAN/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Monotonic Law for Multiplication CV7PFD7PGS
| URI | m2://inv/CV7PFD7PGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#theorem-5, Monotonic Law for Multiplication (statement). In QKM9DD2H56, theorem, section B.15
History
- 2026-11-01: add by m2/v0.6.13
Claire Mathieu CV7RAX63K0
| URI | m2://inv/CV7RAX63K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GU2R, Claire Mathieu (topic)
History
- 2026-11-02: add by m2/dev
CV7S0Z7S7J CV7S0Z7S7J
| URI | m2://inv/CV7S0Z7S7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop:intovertypeIset (statement). In E59CDZA4DP, prop, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
Giovanni Battista Zupi CV7W20F3E2
| URI | m2://inv/CV7W20F3E2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#A6DO, Giovanni Battista Zupi (unknown)
History
- 2026-11-02: add by m2/dev
Nigel Smart CV7YRKSMVZ
| URI | m2://inv/CV7YRKSMVZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nigel Smart (cryptographer), Nigel Smart (topic). Also Wikidata Q1476239
History
- 2026-11-02: add by m2/dev
CV89R8Q7AH CV89R8Q7AH
| URI | m2://inv/CV89R8Q7AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#N7YB (statement). In 7ZBX5WVEZP/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Exact minimum CV8B52G2E7
| URI | m2://inv/CV8B52G2E7 |
|---|---|
| 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 2609.31689#W5QE, Exact minimum (statement). In Z7M2JSF6HA/e1, theorem 16.2
History
- 2026-10-31: add by m2/v0.5.6
CV8NEA5HDD CV8NEA5HDD
| URI | m2://inv/CV8NEA5HDD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-3.xml#ula-preview-3-3 (exercise). In 649HGZKE96, exploration, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Oseledec theorem CV8NMPCFQK
| URI | m2://inv/CV8NMPCFQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VMM6, Oseledec theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition CV8PAVTJP4
| URI | m2://inv/CV8PAVTJP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact bundle#YD5W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Subgaussian Distributions CV8SN2WYHX
| URI | m2://inv/CV8SN2WYHX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#FMCX, Subgaussian Distributions (definition)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition CV91Y56GS9
| URI | m2://inv/CV91Y56GS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux derivative#PZVJ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
CV93G94GZQ CV93G94GZQ
| URI | m2://inv/CV93G94GZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#UED3 (statement). In PREJREM4BB/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Jacopo Silvestri CV94QBX0RH
| URI | m2://inv/CV94QBX0RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacopo Silvestri, Jacopo Silvestri (topic). Also Wikidata Q20630347
History
- 2026-11-02: add by m2/dev
G. P. Egorychev CV9DQYKJCG
| URI | m2://inv/CV9DQYKJCG |
|---|---|
| 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#3EZP, G. P. Egorychev (topic)
History
- 2026-11-02: add by m2/dev
Quasi-continuous function CV9M4B5C3R
| URI | m2://inv/CV9M4B5C3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#T1QZ, Quasi-continuous function (definition)
History
- 2026-11-02: add by m2/dev
Examples CV9MP7SRSN
| URI | m2://inv/CV9MP7SRSN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric tensor#QJ6U, Examples (example)
History
- 2026-11-02: add by m2/dev
CV9TDBXFR1 CV9TDBXFR1
| URI | m2://inv/CV9TDBXFR1 |
|---|---|
| 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.04608#A54C (statement). In ZYYMXYK7WJ/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
CV9WJNH4B8 CV9WJNH4B8
| URI | m2://inv/CV9WJNH4B8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#BDPL (definition). In CY1FE8W1ZW/e1, definition 0.189
History
- 2026-10-27: add by m2/v0.3.5
CV9XZTJJRX CV9XZTJJRX
| URI | m2://inv/CV9XZTJJRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#JNBY (statement). In DR7BK4CQ0V/e1, corollary 5.10
History
- 2026-10-28: add by m2/v0.4.3
Subgraph isomorphism problem CVA2HSACHR
| URI | m2://inv/CVA2HSACHR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgraph isomorphism problem, Subgraph isomorphism problem (problem). Also Wikidata Q2528185
History
- 2026-11-02: add by m2/dev
CVA6J30WWP CVA6J30WWP
| URI | m2://inv/CVA6J30WWP |
|---|---|
| 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 2406.19866#W8PC (definition). In 9F94CEQ1ZM/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.3.5
Salvatore Pincherle CVABNRR8TX
| URI | m2://inv/CVABNRR8TX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7AQW, Salvatore Pincherle (topic)
History
- 2026-11-02: add by m2/dev
Limitations of machine learning CVACHZTA44
| URI | m2://inv/CVACHZTA44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#6HVQ, Limitations of machine learning (unknown)
History
- 2026-11-02: add by m2/dev
Examples CVADXAMEHD
| URI | m2://inv/CVADXAMEHD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pytkeev space#6EPH, Examples (example)
History
- 2026-11-02: add by m2/dev
Symmetries CVAFDR3S5F
| URI | m2://inv/CVAFDR3S5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedron#MGNC, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
CVAHHQFZ65 CVAHHQFZ65
| URI | m2://inv/CVAHHQFZ65 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#proof-2 (proof). In RZP28ERRZV, proof, section 92.4
History
- 2026-11-01: add by m2/v0.6.13
Icosahedral honeycomb CVAT98XPBY
| URI | m2://inv/CVAT98XPBY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosahedral honeycomb, Icosahedral honeycomb (object). Also Wikidata Q5986731
History
- 2026-11-02: add by m2/dev
Goldman domain CVAYZBSAFP
| URI | m2://inv/CVAYZBSAFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldman domain, Goldman domain (definition). Also Wikidata Q5580243
History
- 2026-11-02: add by m2/dev
Abu al-Fadl ibn Hasdai CVB0YZV7ZY
| URI | m2://inv/CVB0YZV7ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9FF5, Abu al-Fadl ibn Hasdai (unknown)
History
- 2026-11-02: add by m2/dev
William Edward Hodgson Berwick CVB707PZQE
| URI | m2://inv/CVB707PZQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Edward Hodgson Berwick, William Edward Hodgson Berwick (topic). Also Wikidata Q8008439
History
- 2026-11-02: add by m2/dev
Metrization theorems CVBDPCRR16
| URI | m2://inv/CVBDPCRR16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#3IZG, Metrization theorems (definition)
History
- 2026-11-02: add by m2/dev
CVBF78W7ZK CVBF78W7ZK
| URI | m2://inv/CVBF78W7ZK |
|---|---|
| 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.01915#0G62 (statement). In 6HJQXZS0A6/e1, lemma 1.24
History
- 2026-10-29: add by m2/v0.4.12
CVBFX5CTB0 CVBFX5CTB0
| URI | m2://inv/CVBFX5CTB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14012#F6QK (definition). In B8M5XAJASD/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
CVBPEFMCF3 CVBPEFMCF3
| URI | m2://inv/CVBPEFMCF3 |
|---|---|
| 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.34283#ELNZ (statement). In DF1S2FHKJE/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
CVBQZ4MH8K CVBQZ4MH8K
| URI | m2://inv/CVBQZ4MH8K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-240 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Reverse Fatou lemma CVBTB6Q3SW
| URI | m2://inv/CVBTB6Q3SW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#OI0D, Reverse Fatou lemma (statement)
History
- 2026-11-02: add by m2/dev
Little's formula CVCB1PG635
| URI | m2://inv/CVCB1PG635 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palm calculus#U5GU, Little's formula (statement)
History
- 2026-11-02: add by m2/dev
Statistical proof CVCEW3MWJ1
| URI | m2://inv/CVCEW3MWJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FJVD, Statistical proof (definition)
History
- 2026-11-02: add by m2/dev
Viscosity solution CVCH49BGM4
| URI | m2://inv/CVCH49BGM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#W7IE, Viscosity solution (definition)
History
- 2026-11-02: add by m2/dev
CVCMPEMRBF CVCMPEMRBF
| URI | m2://inv/CVCMPEMRBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#ZO52 (statement). In MVXZWHKEX8/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
CVCR2YAV0C CVCR2YAV0C
| URI | m2://inv/CVCR2YAV0C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#KCOK (definition). In TT9BA4VMTW/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
CVCRC7K0EV CVCRC7K0EV
| URI | m2://inv/CVCRC7K0EV |
|---|---|
| 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.29501#22DY (statement)
History
- 2026-11-01: add by m2/v0.6.15
implication, equivalent disjuction CVCSQ6ECE3
| URI | m2://inv/CVCSQ6ECE3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1.2/implication-equivalent-disjuction, implication, equivalent disjuction (concept). In Y91XFCEVHQ, index, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
John Griffiths CVCT4QQKB4
| URI | m2://inv/CVCT4QQKB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Griffiths (mathematician), John Griffiths (topic). Also Wikidata Q6236409
History
- 2026-11-02: add by m2/dev
CVCZEXN0YN CVCZEXN0YN
| URI | m2://inv/CVCZEXN0YN |
|---|---|
| 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.20656#56EI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Shapiro's lemma CVD13J639S
| URI | m2://inv/CVD13J639S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#YHFN, Shapiro's lemma (statement)
History
- 2026-11-02: add by m2/dev
CVD76G733S CVD76G733S
| URI | m2://inv/CVD76G733S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2001.10234#OXS0 (statement). In YYZHNNJR1P/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
CVD8RFANF4 CVD8RFANF4
| URI | m2://inv/CVD8RFANF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#IP6A (statement). In 6B2PCEGCYZ/e1, proposition 3.11
History
- 2026-10-31: add by m2/v0.5.6
Josh Fisher CVD9MJNH4B
| URI | m2://inv/CVD9MJNH4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S543, Josh Fisher (unknown)
History
- 2026-11-02: add by m2/dev
positive measure CVD9QYMJ5R
| URI | m2://inv/CVD9QYMJ5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > positive measure, positive measure (unknown). Also Mathlib MeasureTheory.Measure
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > positive measure, positive measure (unknown). Also Mathlib MeasureTheory.Measure
History
- 2026-10-26: add by m2/dev
self-adjoint matrix CVDDNHM0HY
| URI | m2://inv/CVDDNHM0HY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15847164, self-adjoint matrix (unknown). Also MathWorld Self-AdjointMatrix
History
- 2026-10-26: add by m2/dev
Master theorem CVDGWK3R89
| URI | m2://inv/CVDGWK3R89 |
|---|---|
| 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.12713#YUCJ, Master theorem (statement). In F14A5HX20Q/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
CVDNVCCZ6R CVDNVCCZ6R
| URI | m2://inv/CVDNVCCZ6R |
|---|---|
| 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.26948#DJ21 (statement)
History
- 2026-11-01: add by m2/v0.6.15
CVDZN0AVT5 CVDZN0AVT5
| URI | m2://inv/CVDZN0AVT5 |
|---|---|
| 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.09494#YTVR (statement). In H297EPZQQB/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Detector consistency, two face factors, and front estimate CVE091GXW7
| URI | m2://inv/CVE091GXW7 |
|---|---|
| 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.20215#DOYG, Detector consistency, two face factors, and front estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
CVE4G2QJTM CVE4G2QJTM
| URI | m2://inv/CVE4G2QJTM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#ex-1 (example). In PKGMM3P5QY, ex, section 38.14
History
- 2026-11-01: add by m2/v0.6.13
CVEA7CMZZ6 CVEA7CMZZ6
| URI | m2://inv/CVEA7CMZZ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#FIHC (definition). In M0SQY5EZN5/e1, definition 1.3.1
History
- 2026-10-27: add by m2/v0.3.5
CVEHFWSZ68 CVEHFWSZ68
| URI | m2://inv/CVEHFWSZ68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#F7SH (statement). In T4S7XVAJJC/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.12
CVEHKKGYXC CVEHKKGYXC
| URI | m2://inv/CVEHKKGYXC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#EQJU (example)
History
- 2026-11-02: add by m2/v0.6.17
Properties CVERBDBG56
| URI | m2://inv/CVERBDBG56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract L-space#7NQC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Alexander Klyachko CVETVN5PEF
| URI | m2://inv/CVETVN5PEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R8XL, Alexander Klyachko (unknown)
History
- 2026-11-02: add by m2/dev
Uniform spectral gap CVF9VJMRQD
| URI | m2://inv/CVF9VJMRQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#PDMW, Uniform spectral gap (statement). In 24FJ7C8WPN/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Approximation by finitely supported measures CVFH7BTVHJ
| URI | m2://inv/CVFH7BTVHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#6DC9, Approximation by finitely supported measures (statement). In 2Y47E704Z9/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
CVFYVZ82NY CVFYVZ82NY
| URI | m2://inv/CVFYVZ82NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#NT0O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact monotonicity identity CVG2EKF2GT
| URI | m2://inv/CVG2EKF2GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#4HH3, Exact monotonicity identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
CVG4C8272S CVG4C8272S
| URI | m2://inv/CVG4C8272S |
|---|---|
| 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.24041#SXRE (statement)
History
- 2026-11-02: add by m2/v0.6.17
cosmology CVG5DVZ2SY
| URI | m2://inv/CVG5DVZ2SY |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 85A40 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q338, cosmology (topic)
History
- 2026-10-26: add by m2/dev
continuous CVGNBV6NE9
| URI | m2://inv/CVGNBV6NE9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.7.3/continuous, continuous (concept). In 907G4C4EJ1, index, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
Nikolay Krylov CVGPC4A7MP
| URI | m2://inv/CVGPC4A7MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Krylov (mathematician, born 1941), Nikolay Krylov (topic). Also Wikidata Q1991041
History
- 2026-11-02: add by m2/dev
Moving the goalposts CVGW0JJ55A
| URI | m2://inv/CVGW0JJ55A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving the goalposts, Moving the goalposts (definition). Also Wikidata Q3244473
History
- 2026-11-02: add by m2/dev
CVGXFFMV6J CVGXFFMV6J
| URI | m2://inv/CVGXFFMV6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#FGA1 (statement). In V7SN19J84T/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
CVHBQFA20B CVHBQFA20B
| URI | m2://inv/CVHBQFA20B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#5PZX (definition). In P9J6P06Y40/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Chasles' theorem CVHC1TZPZE
| URI | m2://inv/CVHC1TZPZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chasles' theorem (kinematics), Chasles' theorem (statement). Also Wikidata Q17004813
History
- 2026-11-02: add by m2/dev
Hyperbolic cylinder function CVHTEQENYF
| URI | m2://inv/CVHTEQENYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu function#86QW, Hyperbolic cylinder function (unknown)
History
- 2026-11-02: add by m2/dev
CVHYS8X59Z CVHYS8X59Z
| URI | m2://inv/CVHYS8X59Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36717#J2MU (statement). In 69FBWG9P3B/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Syntractrix CVJ15XD09M
| URI | m2://inv/CVJ15XD09M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntractrix, Syntractrix (definition). Also Wikidata Q7662826
History
- 2026-11-02: add by m2/dev
CVJB5H1XF5 CVJB5H1XF5
| URI | m2://inv/CVJB5H1XF5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05722#8PB3 (conjecture). In NDKWV5J14V/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
Artin's theorem on induced characters CVJBJ6A3X0
| URI | m2://inv/CVJBJ6A3X0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin's theorem on induced characters, Artin's theorem on induced characters (statement). Also Wikidata Q97359344
History
- 2026-11-02: add by m2/dev
CVJD1V7VS2 CVJD1V7VS2
| URI | m2://inv/CVJD1V7VS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#YSDQ (statement). In Y8A35AV31M/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
order of a group CVJHBEPZAK
| URI | m2://inv/CVJHBEPZAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 493527) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#886G, order of a group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
finite CVK0C5NTDA
| URI | m2://inv/CVK0C5NTDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8S2P, finite (definition)
History
- 2026-11-02: add by m2/dev
bicomplete category CVK1QH86RY
| URI | m2://inv/CVK1QH86RY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47007890, bicomplete category (unknown). Also nLab bicomplete category
History
- 2026-10-26: add by m2/dev
Rhombicosahedron CVKB4931E7
| URI | m2://inv/CVKB4931E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MJIC, Rhombicosahedron (definition)
History
- 2026-11-02: add by m2/dev
CVKCGK3XRJ CVKCGK3XRJ
| URI | m2://inv/CVKCGK3XRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19898#2DS0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
CVKETF90D8 CVKETF90D8
| URI | m2://inv/CVKETF90D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:ap-transport (statement). In N54F33XE07, lem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Damiano Brigo CVKJ63G6GX
| URI | m2://inv/CVKJ63G6GX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Damiano Brigo, Damiano Brigo (topic). Also Wikidata Q3701259
History
- 2026-11-02: add by m2/dev
CVKKWQB227 CVKKWQB227
| URI | m2://inv/CVKKWQB227 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#cor-1 (statement). In N54F33XE07, cor, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Single Substitution Lemma CVM7W3TWQ1
| URI | m2://inv/CVM7W3TWQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#9YAI, Single Substitution Lemma (statement). In CPYWHRTPKC/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.4.2
$\kappa$-small tangent complex CVM94CSENV
| URI | m2://inv/CVM94CSENV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#UX3L, $\kappa$-small tangent complex (definition). In A1GWWGRXPA/e1, definition 6.14
History
- 2026-10-27: add by m2/v0.4.2
Rasch model estimation CVMA6ZEHZ3
| URI | m2://inv/CVMA6ZEHZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PNDL, Rasch model estimation (definition)
History
- 2026-11-02: add by m2/dev
Statement CVME7NCB0G
| URI | m2://inv/CVME7NCB0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior extremum theorem#GM61, Statement (statement)
History
- 2026-11-02: add by m2/dev
Mathisson–Papapetrou–Dixon equations CVMJDR3CN3
| URI | m2://inv/CVMJDR3CN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#UY9L, Mathisson–Papapetrou–Dixon equations (definition)
History
- 2026-11-02: add by m2/dev
Corollary CVMR5EB2S9
| URI | m2://inv/CVMR5EB2S9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winding number#5X06, Corollary (statement)
History
- 2026-11-02: add by m2/dev
CVMSKFGQGW CVMSKFGQGW
| URI | m2://inv/CVMSKFGQGW |
|---|---|
| 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.06764#DZOQ (statement). In MSWV3MJ5CE/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
CVMSN1W2KX CVMSN1W2KX
| URI | m2://inv/CVMSN1W2KX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-3.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Conway polynomial CVMSWRJA8V
| URI | m2://inv/CVMSWRJA8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Conway polynomial NQQBESGPA4 |
Mentions
- wikidata: Wikidata Q5166747, Conway polynomial (unknown). Also nLab Conway polynomial
- wikipedia: Wikipedia Conway polynomial (finite fields), Conway polynomial (definition). Also Wikidata Q5166747
History
- 2026-10-26: add by m2/dev
Lie ring CVMVYXNXYA
| URI | m2://inv/CVMVYXNXYA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543829, Lie ring (unknown). Also EoM Lie_ring
History
- 2026-10-26: add by m2/dev
Span seminorm of a row-stochastic matrix CVMZS6XRZT
| URI | m2://inv/CVMZS6XRZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#NTA1, Span seminorm of a row-stochastic matrix (statement). In B29M4E6KGC/e1, lemma E.6
History
- 2026-10-28: add by m2/v0.4.2
Gale–Shapley algorithm CVN09FFNM5
| URI | m2://inv/CVN09FFNM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#A8R3, Gale–Shapley algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples CVN3ZTNNCE
| URI | m2://inv/CVN3ZTNNCE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic data#5DD7, Examples (example)
History
- 2026-11-02: add by m2/dev
Remark 1 CVN8HXQZRV
| URI | m2://inv/CVN8HXQZRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#RYWW, Remark 1 (unknown)
History
- 2026-11-02: add by m2/dev
CVNDNJMBZ5 CVNDNJMBZ5
| URI | m2://inv/CVNDNJMBZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#AD44 (statement). In 4GRNWWH88J/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
CVNEZDQEJ6 CVNEZDQEJ6
| URI | m2://inv/CVNEZDQEJ6 |
|---|---|
| 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 2504.00267#PFMW (definition). In 38XJWDZ2PH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
CVNFW34VDT CVNFW34VDT
| URI | m2://inv/CVNFW34VDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04772#634N (statement). In WW08CYN4D4/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
CVNJDHY7F3 CVNJDHY7F3
| URI | m2://inv/CVNJDHY7F3 |
|---|---|
| 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#UNPJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
CVNRK8J458 CVNRK8J458
| URI | m2://inv/CVNRK8J458 |
|---|---|
| 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.27628#6JIG (statement)
History
- 2026-11-01: add by m2/v0.6.15
CVNRQH2ZZ8 CVNRQH2ZZ8
| URI | m2://inv/CVNRQH2ZZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#lem:quotient-when-canonical-representatives (statement). In N54F33XE07, lem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Composition of relations CVNZGRE78Q
| URI | m2://inv/CVNZGRE78Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition of relations, Composition of relations (definition). Also Wikidata Q2795123
History
- 2026-11-02: add by m2/dev
Rayo's number CVNZZFNRTX
| URI | m2://inv/CVNZZFNRTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#XRE6, Rayo's number (definition)
History
- 2026-11-02: add by m2/dev
CVPAM4EBPN CVPAM4EBPN
| URI | m2://inv/CVPAM4EBPN |
|---|---|
| Kind | example |
| 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.22374#7GKF (example)
History
- 2026-11-02: add by m2/v0.6.17
Layered permutation CVPG2KDM9S
| URI | m2://inv/CVPG2KDM9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layered permutation, Layered permutation (definition). Also Wikidata Q56277177
History
- 2026-11-02: add by m2/dev
Examples CVPGS9MTN6
| URI | m2://inv/CVPGS9MTN6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#50A5, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Hadwiger's theorem CVPH5QPPEF
| URI | m2://inv/CVPH5QPPEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K0N2, Hadwiger's theorem (statement)
History
- 2026-11-02: add by m2/dev
Fuhrmann circle CVPHCR5NRF
| URI | m2://inv/CVPHCR5NRF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5507320, Fuhrmann circle (concept). Also MathWorld FuhrmannCircle
- wikipedia: Wikipedia Fuhrmann circle, Fuhrmann circle (definition). Also Wikidata Q5507320
History
- 2026-10-26: add by m2/dev
CVPTDAFA3M CVPTDAFA3M
| URI | m2://inv/CVPTDAFA3M |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#ZHML (conjecture). In REDG6QVHM3/e1, conjecture 9.7
History
- 2026-10-29: add by m2/v0.4.12
CVPTMSCSKC CVPTMSCSKC
| URI | m2://inv/CVPTMSCSKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#GXHV (statement). In 17ACAG0N9C/e1, proposition 8.5
History
- 2026-10-28: add by m2/v0.4.2
Continuous-time stochastic process CVQCRA75AG
| URI | m2://inv/CVQCRA75AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous-time stochastic process, Continuous-time stochastic process (definition). Also Wikidata Q5165437
History
- 2026-11-02: add by m2/dev
Catalan's conjecture CVQDNGMW73
| URI | m2://inv/CVQDNGMW73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#1WPS, Catalan's conjecture (statement)
History
- 2026-11-02: add by m2/dev
William Gasarch CVQHCQ9BD7
| URI | m2://inv/CVQHCQ9BD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Gasarch, William Gasarch (topic). Also Wikidata Q21825565
History
- 2026-11-02: add by m2/dev
Logarithmic mean temperature difference CVQM1ZAJMT
| URI | m2://inv/CVQM1ZAJMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic mean temperature difference, Logarithmic mean temperature difference (definition). Also Wikidata Q3272672
History
- 2026-11-02: add by m2/dev
CVRGE3YH6K CVRGE3YH6K
| URI | m2://inv/CVRGE3YH6K |
|---|---|
| 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.38838#7VXO (statement). In 3EH8M9GWTX/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Biodemography CVRKANZ4A9
| URI | m2://inv/CVRKANZ4A9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biodemography, Biodemography (topic). Also Wikidata Q4914754
History
- 2026-11-02: add by m2/dev
Implementations CVRQBJ71K7
| URI | m2://inv/CVRQBJ71K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic sieve#6OP6, Implementations (definition)
History
- 2026-11-02: add by m2/dev
CVRTGDM6CD CVRTGDM6CD
| URI | m2://inv/CVRTGDM6CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37439#2IPU (statement). In 8K7D3FKJDT/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
CVRV296GYV CVRV296GYV
| URI | m2://inv/CVRV296GYV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-3-2.xml#act-1-3-2 (exercise). In 907G4C4EJ1, activity, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem of three moments CVS5094B1Q
| URI | m2://inv/CVS5094B1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7782348, Theorem of three moments (statement). Also Wikidata Q7782348
- thousand_plus: thousand_plus Q7782348, Theorem of three moments (statement). Also Wikidata Q7782348, Wikipedia Theorem of three moments
- wikipedia: Wikipedia Theorem of three moments, Theorem of three moments (statement). Also Wikidata Q7782348
History
- 2026-10-26: add by m2/dev
CVS61FEJR4 CVS61FEJR4
| URI | m2://inv/CVS61FEJR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#509T (statement)
History
- 2026-11-02: add by m2/v0.6.18
591 (number) CVS6GC1A4K
| URI | m2://inv/CVS6GC1A4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#XWF1, 591 (number) (unknown)
History
- 2026-11-02: add by m2/dev
David Williams CVS7AAHQX0
| URI | m2://inv/CVS7AAHQX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Williams (mathematician), David Williams (topic). Also Wikidata Q1177203
History
- 2026-11-02: add by m2/dev
Information leakage CVS7B1BFDX
| URI | m2://inv/CVS7B1BFDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information leakage, Information leakage (definition). Also Wikidata Q2775060
History
- 2026-11-02: add by m2/dev
CVS7ZG2N27 CVS7ZG2N27
| URI | m2://inv/CVS7ZG2N27 |
|---|---|
| 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 1310.6698#WD9Q (statement). In 7AQ7DMNZEY/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
General Leibniz rule CVSBZ95PBH
| URI | m2://inv/CVSBZ95PBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#V3E8, General Leibniz rule (definition)
History
- 2026-11-02: add by m2/dev
CVSDSYMD06 CVSDSYMD06
| URI | m2://inv/CVSDSYMD06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1701.00517#S4K4 (statement). In JHPBT88FDW/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
CVSFMR627E CVSFMR627E
| URI | m2://inv/CVSFMR627E |
|---|---|
| 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 2603.07541#IHAT (statement). In X3RFXWN6FW/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.6
CVSFP6FVF1 CVSFP6FVF1
| URI | m2://inv/CVSFP6FVF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#YY9X (statement). In XV70TXYS5A/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Generalizations CVSHVPF1D3
| URI | m2://inv/CVSHVPF1D3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit portrait#J1F5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HyperLogLog CVSWTSBWKQ
| URI | m2://inv/CVSWTSBWKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HyperLogLog, HyperLogLog (definition). Also Wikidata Q17092118
History
- 2026-11-02: add by m2/dev
CVT1P6Y15W CVT1P6Y15W
| URI | m2://inv/CVT1P6Y15W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#3OHN (definition). In EY54F2SX08/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
CVT6K51GWV CVT6K51GWV
| URI | m2://inv/CVT6K51GWV |
|---|---|
| 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 2610.22074#LPXC (statement). In F3BKXXPR3K/e1, proposition 3.60
History
- 2026-10-27: add by m2/v0.4.2
CVT7YMAQZP CVT7YMAQZP
| URI | m2://inv/CVT7YMAQZP |
|---|---|
| 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.30664#EYY8 (statement). In ZZGDNKDVJW/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
CVTGYFKQPH CVTGYFKQPH
| URI | m2://inv/CVTGYFKQPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-18 (statement). In VNMV985MXX, thm, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
subobject CVTHJF3B6P
| URI | m2://inv/CVTHJF3B6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Subobject FS1FKAE89H |
Mentions
- wikidata: Wikidata Q2547089, subobject (unknown). Also EoM Subobject, nLab subobject
- wikipedia: Wikipedia Subobject, Subobject (definition). Also Wikidata Q2547089
History
- 2026-10-26: add by m2/dev
CVTQJ7MSR2 CVTQJ7MSR2
| URI | m2://inv/CVTQJ7MSR2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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 1704.04089#XU79 (problem). In T126FDFXT5/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
CVTS1JA8WP CVTS1JA8WP
| URI | m2://inv/CVTS1JA8WP |
|---|---|
| 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.23634#3JX4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
CVTSCK0638 CVTSCK0638
| URI | m2://inv/CVTSCK0638 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#DBLU (definition). In GSN5YTQS2K/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
CVTVWBPQCX CVTVWBPQCX
| URI | m2://inv/CVTVWBPQCX |
|---|---|
| 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.06461#6TP5 (statement). In QXY3W2JV2N/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
CVTXS0JDKF CVTXS0JDKF
| URI | m2://inv/CVTXS0JDKF |
|---|---|
| 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 2511.07697#JBGX (statement). In 57P5P33HS3/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
travelling salesperson problem CVTZCG5DJN
| URI | m2://inv/CVTZCG5DJN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q322212, travelling salesperson problem (unknown). Also EoM Travelling_salesman_problem, MathWorld TravelingSalesmanProblem
- wikipedia: Wikipedia Travelling salesman problem, Travelling salesman problem (problem). Also Wikidata Q322212
History
- 2026-10-26: add by m2/dev
Moment-to-information transfer CVV2KYW2Q5
| URI | m2://inv/CVV2KYW2Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#YWD5, Moment-to-information transfer (statement). In T7R1Q29DQK/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Formulation CVVH7ZEA0J
| URI | m2://inv/CVVH7ZEA0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Bott fixed-point theorem#ED17, Formulation (definition)
History
- 2026-11-02: add by m2/dev
CVVSJ1ZGNX CVVSJ1ZGNX
| URI | m2://inv/CVVSJ1ZGNX |
|---|---|
| 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#2GS4 (statement). In AH7D55D3WV/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Conical combination CVVVZKZGR9
| URI | m2://inv/CVVVZKZGR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conical combination, Conical combination (definition). Also Wikidata Q5161031
History
- 2026-11-02: add by m2/dev
Identification from accumulating entropy scales CVW5Q0VN76
| URI | m2://inv/CVW5Q0VN76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#CSFK, Identification from accumulating entropy scales (statement). In 9YAE8FNQST/e1, theorem 23.17
History
- 2026-10-30: add by m2/v0.4.12
CVW6MWDBKX CVW6MWDBKX
| URI | m2://inv/CVW6MWDBKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#9JL1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Computation CVW6ZW2D2Y
| URI | m2://inv/CVW6ZW2D2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto frontier#OUQ4, Computation (definition)
History
- 2026-11-02: add by m2/dev
Carl Adam Petri CVWAM2JSKT
| URI | m2://inv/CVWAM2JSKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Adam Petri, Carl Adam Petri (topic). Also Wikidata Q61743
History
- 2026-11-02: add by m2/dev
CVWP3EB9TP CVWP3EB9TP
| URI | m2://inv/CVWP3EB9TP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Cross-validation CVWPQ4F6QR
| URI | m2://inv/CVWPQ4F6QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-validation (statistics), Cross-validation (definition). Also Wikidata Q541014
History
- 2026-11-02: add by m2/dev
CVWS05JRFV CVWS05JRFV
| URI | m2://inv/CVWS05JRFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#U0VZ (statement). In RYWAX33Z51/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
CVWW6R20WQ CVWW6R20WQ
| URI | m2://inv/CVWW6R20WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#omegaisacardinal (statement). In PKGMM3P5QY, cor, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
CVWX0H9EH3 CVWX0H9EH3
| URI | m2://inv/CVWX0H9EH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#TRJK (statement). In G7R61RPWE2/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Werner Gysin CVX30N26AW
| URI | m2://inv/CVX30N26AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Werner Gysin, Werner Gysin (topic). Also Wikidata Q7983400
History
- 2026-11-02: add by m2/dev
Definition CVX38KVAAQ
| URI | m2://inv/CVX38KVAAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#T3OP, Definition (definition)
History
- 2026-11-02: add by m2/dev
power series CVXB3T0W6Z
| URI | m2://inv/CVXB3T0W6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#YO51, power series (definition)
History
- 2026-11-02: add by m2/dev
Amie Wilkinson CVXED9SN2N
| URI | m2://inv/CVXED9SN2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amie Wilkinson, Amie Wilkinson (topic). Also Wikidata Q470919
History
- 2026-11-02: add by m2/dev
CVXFCZ41Y6 CVXFCZ41Y6
| URI | m2://inv/CVXFCZ41Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05621#7XD5 (statement). In ADE39RC6C0/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Abraham de Moivre CVXHAPMCPN
| URI | m2://inv/CVXHAPMCPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#Q453, Abraham de Moivre (topic)
History
- 2026-11-02: add by m2/dev
Change of base rule CVXYV9K6WE
| URI | m2://inv/CVXYV9K6WE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm#DKJA, Change of base rule (unknown)
History
- 2026-11-02: add by m2/dev
John Müller CVY0FBVFBB
| URI | m2://inv/CVY0FBVFBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#UY5Q, John Müller (topic)
History
- 2026-11-02: add by m2/dev
Exotic probability CVY4FH3MBD
| URI | m2://inv/CVY4FH3MBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exotic probability, Exotic probability (definition). Also Wikidata Q5420723
History
- 2026-11-02: add by m2/dev
International Journal of Logic and Computation CVY5X8HQJ9
| URI | m2://inv/CVY5X8HQJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#19FB, International Journal of Logic and Computation (unknown)
History
- 2026-11-02: add by m2/dev
CVY7SKFRCN CVY7SKFRCN
| URI | m2://inv/CVY7SKFRCN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#AGL2 (definition). In YA7H9PY3R1/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
CVY88K5QWB CVY88K5QWB
| URI | m2://inv/CVY88K5QWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#BCTD (statement). In 6YY27KRJFN/e1, proposition 2.36
History
- 2026-10-30: add by m2/v0.4.12
Continuous geometry CVY9PBT3JJ
| URI | m2://inv/CVY9PBT3JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous geometry, Continuous geometry (definition). Also Wikidata Q5165479
History
- 2026-11-02: add by m2/dev
CVYE32Y16G CVYE32Y16G
| URI | m2://inv/CVYE32Y16G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20568#F4XN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geodesics as Hamiltonian flows CVYJ10XFM9
| URI | m2://inv/CVYJ10XFM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesics as Hamiltonian flows, Geodesics as Hamiltonian flows (definition). Also Wikidata Q5533985
History
- 2026-11-02: add by m2/dev
Examples CVYQ7SAJ60
| URI | m2://inv/CVYQ7SAJ60 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether's theorem#GBD7, Examples (example)
History
- 2026-11-02: add by m2/dev
CVYV2XV6YT CVYV2XV6YT
| URI | m2://inv/CVYV2XV6YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#WY8P (statement). In 6WJ0R9YEBR/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
CVZ2PZG6GR CVZ2PZG6GR
| URI | m2://inv/CVZ2PZG6GR |
|---|---|
| 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 2202.10212#DHAZ (statement). In E9ZQM8449P/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
CVZ48X17XS CVZ48X17XS
| URI | m2://inv/CVZ48X17XS |
|---|---|
| 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.36613#M8A3 (statement). In GX0K0ZM700/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
CVZ65BQX15 CVZ65BQX15
| URI | m2://inv/CVZ65BQX15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
CVZAFQ0TVY CVZAFQ0TVY
| URI | m2://inv/CVZAFQ0TVY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/inseparability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.10
History
- 2026-11-01: add by m2/v0.6.13
CVZNSMFGPQ CVZNSMFGPQ
| URI | m2://inv/CVZNSMFGPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11946#VL3S (statement). In VQ96F8CY5M/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.3
Fock matrix CVZR6Q5T9X
| URI | m2://inv/CVZR6Q5T9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fock matrix, Fock matrix (definition). Also Wikidata Q2526030
History
- 2026-11-02: add by m2/dev