Inventory rows PV
The cards of the rows of the inventory whose ids start with PV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
PV01V871RR PV01V871RR
| URI | m2://inv/PV01V871RR |
|---|---|
| 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.33231#48AY (statement). In WPDRT63QNW/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
prime power PV048GGQ9A
| URI | m2://inv/PV048GGQ9A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1667469, prime power (unknown). Also MathWorld PrimePower, OEIS A246655
- wikipedia: Wikipedia Prime power, Prime power (object). Also Wikidata Q1667469
History
- 2026-10-26: add by m2/dev
Ljubljana graph PV04Y05B6P
| URI | m2://inv/PV04Y05B6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3034788, Ljubljana graph (unknown). Also House of Graphs 1210, MathWorld LjubljanaGraph
- wikipedia: Wikipedia Ljubljana graph, Ljubljana graph (definition). Also Wikidata Q3034788
History
- 2026-10-26: add by m2/dev
Dirichlet problem PV054Z980J
| URI | m2://inv/PV054Z980J |
|---|---|
| Kind | problem |
| Layer | textbook |
| MSC | 49J10 |
| Sources | 2 |
| Outcome | open |
| Node | Dirichlet problem 8D56GQ4AG8 |
Mentions
- wikidata: Wikidata Q1192869, Dirichlet problem (topic). Also EoM Dirichlet_problem, MathWorld DirichletProblem
- wikipedia: Wikipedia Dirichlet problem, Dirichlet problem (problem). Also Wikidata Q1192869
History
- 2026-10-26: add by m2/dev
PV08Z6KET1 PV08Z6KET1
| URI | m2://inv/PV08Z6KET1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#OJ7U (statement). In AB2WPR2FRR/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Antoine-Auguste Le Blanc PV0GH0MWY3
| URI | m2://inv/PV0GH0MWY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Germain#RE1P, Antoine-Auguste Le Blanc (unknown)
History
- 2026-11-02: add by m2/dev
relabeled endomorphism algebra PV0HWM0ZFX
| URI | m2://inv/PV0HWM0ZFX |
|---|---|
| Kind | definition |
| 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.30637#KDCZ, relabeled endomorphism algebra (definition). In 6G1KBA0SXV/e1, definition 4.16
History
- 2026-10-31: add by m2/v0.5.6
PTAS reduction PV0S694Y6R
| URI | m2://inv/PV0S694Y6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PTAS reduction, PTAS reduction (definition). Also Wikidata Q7120941
History
- 2026-11-02: add by m2/dev
Elliptic-curve cryptography PV143YQTNT
| URI | m2://inv/PV143YQTNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#31LQ, Elliptic-curve cryptography (definition)
History
- 2026-11-02: add by m2/dev
Niven (or Harshad) numbers that are not divisible by 3. PV1C83KYBW
| URI | m2://inv/PV1C83KYBW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194320, Niven (or Harshad) numbers that are not divisible by 3. (object). Also OEIS A085370
History
- 2026-10-26: add by m2/dev
Lie group PV1E1A3ZFS
| URI | m2://inv/PV1E1A3ZFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#NC3H, Lie group (definition)
- wikipedia: Wikipedia List of group theory topics#V1FT, Lie group (definition)
- wikipedia: Wikipedia List of manifolds#R98E, Lie group (definition)
History
- 2026-11-02: add by m2/dev
Examples PV1G6MPFFC
| URI | m2://inv/PV1G6MPFFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remainder#DHW9, Examples (example)
History
- 2026-11-02: add by m2/dev
PV1TR6KEYK PV1TR6KEYK
| URI | m2://inv/PV1TR6KEYK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-86 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
PV2CMEH08Y PV2CMEH08Y
| URI | m2://inv/PV2CMEH08Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#1ZF0 (statement). In 3Y76AQQGF0/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Boolean regulatory networks PV2HB70RN3
| URI | m2://inv/PV2HB70RN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene regulatory network#TEZA, Boolean regulatory networks (unknown)
History
- 2026-11-02: add by m2/dev
PV2JB0KTBN PV2JB0KTBN
| URI | m2://inv/PV2JB0KTBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03238#Z9HD (statement). In 5PG581A1GK/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.12
Integration over $t$ PV2KNCSXPD
| URI | m2://inv/PV2KNCSXPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#3P3A, Integration over $t$ (statement). In TX0H26X4VX/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Ky Fan norm PV2SV84BCH
| URI | m2://inv/PV2SV84BCH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#OY72, Ky Fan norm (unknown)
History
- 2026-11-02: add by m2/dev
Theorem[Schur-Cohn test] PV2YSJ553W
| URI | m2://inv/PV2YSJ553W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer–Schur algorithm#0O9J, Theorem[Schur-Cohn test] (statement)
History
- 2026-11-02: add by m2/dev
PV39X0WTJP PV39X0WTJP
| URI | m2://inv/PV39X0WTJP |
|---|---|
| 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.14249#9X24 (statement). In B6P8PG8R8T/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
PV3A0DFVMS PV3A0DFVMS
| URI | m2://inv/PV3A0DFVMS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#S5OF (definition). In JXTG8KP95P/e1, definition 4.9
History
- 2026-10-30: add by m2/v0.4.12
Michael Faraday PV3J7MKQ1Y
| URI | m2://inv/PV3J7MKQ1Y |
|---|---|
| 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 Q8750, Michael Faraday (unknown). Also ProofWiki Mathematician:Michael_Faraday
History
- 2026-10-26: add by m2/dev
PV3MRQCJ0C PV3MRQCJ0C
| URI | m2://inv/PV3MRQCJ0C |
|---|---|
| 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 2609.34295#IQOS (statement). In A93R925Z24/e1, proposition 6.6
History
- 2026-10-30: add by m2/v0.4.12
Thinned sine process PV3MVJRZMW
| URI | m2://inv/PV3MVJRZMW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#6UMI, Thinned sine process (example)
History
- 2026-11-01: add by m2/v0.6.15
Entscheidungsproblem PV3NH9DDWH
| URI | m2://inv/PV3NH9DDWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#88HK, Entscheidungsproblem (definition)
History
- 2026-11-02: add by m2/dev
PV3Q5651QH PV3Q5651QH
| URI | m2://inv/PV3Q5651QH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#5I7O (example). In AQWX60Z563/e1, example 4.13
History
- 2026-10-28: add by m2/v0.4.2
PV3Y5KGZNC PV3Y5KGZNC
| URI | m2://inv/PV3Y5KGZNC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#8YRG (example). In X9WFC1D9ZS/e1, example 1
History
- 2026-10-27: add by m2/v0.4.2
Mary Cleophas Garvin PV40EW2A34
| URI | m2://inv/PV40EW2A34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Cleophas Garvin, Mary Cleophas Garvin (topic). Also Wikidata Q28648890
History
- 2026-11-02: add by m2/dev
PV41N5531G PV41N5531G
| URI | m2://inv/PV41N5531G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.14044#UUUI (statement). In 5452SJRWDT/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
Randomized decision rule PV4265CMHE
| URI | m2://inv/PV4265CMHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0Q0W, Randomized decision rule (definition)
History
- 2026-11-02: add by m2/dev
Beevers–Lipson strip PV46HHW3EY
| URI | m2://inv/PV46HHW3EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beevers–Lipson strip, Beevers–Lipson strip (definition). Also Wikidata Q12411443
History
- 2026-11-02: add by m2/dev
Suresh Kumar Sharma (memorizer) PV47Z4BV5B
| URI | m2://inv/PV47Z4BV5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piphilology#MI75, Suresh Kumar Sharma (memorizer) (unknown)
History
- 2026-11-02: add by m2/dev
PV4BH7WDS2 PV4BH7WDS2
| URI | m2://inv/PV4BH7WDS2 |
|---|---|
| Kind | definition |
| 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 2208.06310#GB4H (definition). In 9YR0E0T9XA/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Fat Minimality Effect PV4CV4NGCP
| URI | m2://inv/PV4CV4NGCP |
|---|---|
| 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.05056#5JDX, Fat Minimality Effect (statement). In 4PF04DW3YP/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
PV4K1EX8J5 PV4K1EX8J5
| URI | m2://inv/PV4K1EX8J5 |
|---|---|
| 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 alg-geom/9506022#S4T8 (statement). In AQGEM4XAKD/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
PV4RATVB9P PV4RATVB9P
| URI | m2://inv/PV4RATVB9P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
PV50FCF7GY PV50FCF7GY
| URI | m2://inv/PV50FCF7GY |
|---|---|
| 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 2109.00080#1R3V (statement). In HD3G4MR75W/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Amin Shokrollahi PV56H3ZFXS
| URI | m2://inv/PV56H3ZFXS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amin Shokrollahi, Amin Shokrollahi (topic). Also Wikidata Q4746324
History
- 2026-11-02: add by m2/dev
PV585TCBY2 PV585TCBY2
| URI | m2://inv/PV585TCBY2 |
|---|---|
| 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.33185#HXHB (statement). In QX30H2WNA7/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Hilbert's theorem PV5BQRTG79
| URI | m2://inv/PV5BQRTG79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H5KS, Hilbert's theorem (statement)
History
- 2026-11-02: add by m2/dev
Hessian matrix PV5DC3YMBZ
| URI | m2://inv/PV5DC3YMBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#57KL, Hessian matrix (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#E0DH, Hessian matrix (definition)
History
- 2026-11-02: add by m2/dev
PV5E5TV1E8 PV5E5TV1E8
| URI | m2://inv/PV5E5TV1E8 |
|---|---|
| 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.10643#WIYX (statement). In 1FJSQAGF8R/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Conditional measured-state enclosure PV5PZ7MRYM
| URI | m2://inv/PV5PZ7MRYM |
|---|---|
| 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.02187#V0MC, Conditional measured-state enclosure (statement). In BM9N20J1XA/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
PV5WB6VW2Z PV5WB6VW2Z
| URI | m2://inv/PV5WB6VW2Z |
|---|---|
| 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.15111#5MZ7 (statement). In 6RE6JYE4GP/e1, lemma E.6
History
- 2026-10-28: add by m2/v0.4.2
Algorithmic version of the Lovász local lemma PV5YD4QJM8
| URI | m2://inv/PV5YD4QJM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic Lovász local lemma#Y4VX, Algorithmic version of the Lovász local lemma (statement)
History
- 2026-11-02: add by m2/dev
PV5YK2JMJ9 PV5YK2JMJ9
| URI | m2://inv/PV5YK2JMJ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#example-1 (example). In Y91XFCEVHQ, example, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
PV5YPMG97Q PV5YPMG97Q
| URI | m2://inv/PV5YPMG97Q |
|---|---|
| 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 2504.19468#YFXL (statement). In EY54F2SX08/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Graeme Forbes PV5ZHZQFAV
| URI | m2://inv/PV5ZHZQFAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QSWP, Graeme Forbes (unknown)
History
- 2026-11-02: add by m2/dev
Indicator-weighted centered exponential moments PV61RXGAWS
| URI | m2://inv/PV61RXGAWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#2IX3, Indicator-weighted centered exponential moments (statement). In WYE2JVEZBT/e1, lemma 3.14
History
- 2026-10-31: add by m2/v0.5.6
Small-corrections resolution to the paradox PV61SSSFE1
| URI | m2://inv/PV61SSSFE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole information paradox#75G8, Small-corrections resolution to the paradox (statement)
History
- 2026-11-02: add by m2/dev
PV657RVRQ3 PV657RVRQ3
| URI | m2://inv/PV657RVRQ3 |
|---|---|
| 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.38206#TQTA (statement). In F71MS1F637/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
PV68Z4PR5J PV68Z4PR5J
| URI | m2://inv/PV68Z4PR5J |
|---|---|
| Kind | example |
| 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#WAIM (example). In J99CBQ3QYD/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
Demographics of Tunisia PV6PPB314F
| URI | m2://inv/PV6PPB314F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Tunisia, Demographics of Tunisia (definition). Also Wikidata Q2587341
History
- 2026-11-02: add by m2/dev
Reinhold Baer PV6RM1FBRG
| URI | m2://inv/PV6RM1FBRG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2PS3, Reinhold Baer (topic)
History
- 2026-11-02: add by m2/dev
Markov Processes and Related Fields PV6X7KAJRQ
| URI | m2://inv/PV6X7KAJRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#1CUA, Markov Processes and Related Fields (unknown)
History
- 2026-11-02: add by m2/dev
PV6Y7WVW0H PV6Y7WVW0H
| URI | m2://inv/PV6Y7WVW0H |
|---|---|
| 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.11886#BF2G (statement). In T0APQY74CA/e1, corollary 10
History
- 2026-10-28: add by m2/v0.4.3
Lieb conjecture PV6ZZ6F47R
| URI | m2://inv/PV6ZZ6F47R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lieb conjecture, Lieb conjecture (statement). Also Wikidata Q20708073
History
- 2026-11-02: add by m2/dev
PV70HXCN4N PV70HXCN4N
| URI | m2://inv/PV70HXCN4N |
|---|---|
| Kind | example |
| 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.24577#6WT8 (example)
History
- 2026-11-01: add by m2/v0.6.15
byte PV77N3SS9Q
| URI | m2://inv/PV77N3SS9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8799, byte (definition). Also MathWorld Byte, ProofWiki Definition:Byte
History
- 2026-10-26: add by m2/dev
Suita conjecture PV7BWM2MW1
| URI | m2://inv/PV7BWM2MW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suita conjecture, Suita conjecture (statement). Also Wikidata Q113396023
History
- 2026-11-02: add by m2/dev
PV7HDW39HH PV7HDW39HH
| URI | m2://inv/PV7HDW39HH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#CWKR (statement). In PWXT7J9JX3/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
PV7Q8X6THX PV7Q8X6THX
| URI | m2://inv/PV7Q8X6THX |
|---|---|
| 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 2507.03563#I3Y6 (definition). In R6DR6F68BJ/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.4.0
Judgment PV7TDTX6JP
| URI | m2://inv/PV7TDTX6JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judgment (mathematical logic), Judgment (definition). Also Wikidata Q843812
History
- 2026-11-02: add by m2/dev
PV7Z8VVR9Z PV7Z8VVR9Z
| URI | m2://inv/PV7Z8VVR9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#TDM6 (statement). In V6EPE8XHAD/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.10
PV83RZBPJ4 PV83RZBPJ4
| URI | m2://inv/PV83RZBPJ4 |
|---|---|
| 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.31910#42DE (statement). In E4EK1XXPY4/e1, proposition 5.12
History
- 2026-10-31: add by m2/v0.5.6
Grunsky inequality PV85470JAE
| URI | m2://inv/PV85470JAE |
|---|---|
| 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.20675#SEEI, Grunsky inequality (statement)
History
- 2026-11-02: add by m2/v0.6.18
Senu Abdul Rahman PV8BB84KPQ
| URI | m2://inv/PV8BB84KPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#EYW1, Senu Abdul Rahman (unknown)
History
- 2026-11-02: add by m2/dev
PV8C9HR9TA PV8C9HR9TA
| URI | m2://inv/PV8C9HR9TA |
|---|---|
| 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.28046#BI6O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Crystal PV8E55H09P
| URI | m2://inv/PV8E55H09P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crystal (mathematics), Crystal (definition). Also Wikidata Q30704601
History
- 2026-11-02: add by m2/dev
PV8GGHR671 PV8GGHR671
| URI | m2://inv/PV8GGHR671 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-50 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Properties PV8Z5YYMHD
| URI | m2://inv/PV8Z5YYMHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-synchronized sequence#51N1, Properties (statement)
History
- 2026-11-02: add by m2/dev
PV90B440TF PV90B440TF
| URI | m2://inv/PV90B440TF |
|---|---|
| Kind | definition |
| 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#JSQZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
PV92E68MPH PV92E68MPH
| URI | m2://inv/PV92E68MPH |
|---|---|
| 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.07099#5LJT (statement). In 9GNAHRCYFT/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Generalizations PV97VA4XJM
| URI | m2://inv/PV97VA4XJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midpoint#9VSE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PV9FA74BWG PV9FA74BWG
| URI | m2://inv/PV9FA74BWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32088#9CPG (statement). In 7781ARDE06/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
PV9TFNCBVZ PV9TFNCBVZ
| URI | m2://inv/PV9TFNCBVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#RCLQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples PV9Z4FWW2Q
| URI | m2://inv/PV9Z4FWW2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum ad crumenam#45XQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Mina Aganagic PVAG79V7TA
| URI | m2://inv/PVAG79V7TA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21004738, Mina Aganagic (unknown). Also nLab Mina Aganagic
- wikipedia: Wikipedia Mina Aganagić, Mina Aganagić (topic). Also Wikidata Q21004738
History
- 2026-10-26: add by m2/dev
Definition PVAM4602Y3
| URI | m2://inv/PVAM4602Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite measure#JEX0, Definition (definition)
History
- 2026-11-02: add by m2/dev
PVAMYP6SFT PVAMYP6SFT
| URI | m2://inv/PVAMYP6SFT |
|---|---|
| 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 2111.07409#C5V8 (statement). In KWH4QJDPWC/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
Well-posedness of a regular enlarged BSDE PVAN28D97J
| URI | m2://inv/PVAN28D97J |
|---|---|
| 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.18180#32ZN, Well-posedness of a regular enlarged BSDE (statement). In NJGS7D1EPH/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Orthogonal polyhedron PVAPEK81P1
| URI | m2://inv/PVAPEK81P1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal polyhedron, Orthogonal polyhedron (object). Also Wikidata Q132644106
History
- 2026-11-02: add by m2/dev
PVAQAA7E75 PVAQAA7E75
| URI | m2://inv/PVAQAA7E75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#NZPJ (statement). In Y1K8WE4MDP/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
PVAV8WKMTD PVAV8WKMTD
| URI | m2://inv/PVAV8WKMTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#5NRT (statement). In H21X3FHNYJ/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.4.2
Equipotential surface PVAY83G6AR
| URI | m2://inv/PVAY83G6AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#5BP5, Equipotential surface (definition)
History
- 2026-11-02: add by m2/dev
PVB1ARKB4V PVB1ARKB4V
| URI | m2://inv/PVB1ARKB4V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
$G$-gradings on cluster variables PVB6AP9ZNP
| URI | m2://inv/PVB6AP9ZNP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#DM2E, $G$-gradings on cluster variables (definition). In REDG6QVHM3/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
PVBB8HA4X3 PVBB8HA4X3
| URI | m2://inv/PVBB8HA4X3 |
|---|---|
| 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.19534#Q1PN (statement). In 22G1ATP2RA/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Formulation PVBH4NPWCK
| URI | m2://inv/PVBH4NPWCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character variety#OOCW, Formulation (definition)
History
- 2026-11-02: add by m2/dev
PVBMY6VEEA PVBMY6VEEA
| URI | m2://inv/PVBMY6VEEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#CY8W (statement). In 44DQ7W1NW9/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
PVBXB86HRS PVBXB86HRS
| URI | m2://inv/PVBXB86HRS |
|---|---|
| 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.05784#6M8L (statement). In 6NVP3YRWVA/e1, theorem 2.31
History
- 2026-10-29: add by m2/v0.4.10
Definition PVCCBNRW9A
| URI | m2://inv/PVCCBNRW9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosheaf#KGX8, Definition (definition)
History
- 2026-11-02: add by m2/dev
PVCFJZG1PY PVCFJZG1PY
| URI | m2://inv/PVCFJZG1PY |
|---|---|
| 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.21278#X042 (statement). In DCH1JJGGYH/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.4.2
Adjunction PVCGKBKN3W
| URI | m2://inv/PVCGKBKN3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#TKLK, Adjunction (statement). In S26QVW5613/e1, proposition 3.4.4
History
- 2026-10-30: add by m2/v0.4.12
PVCKC6DY0Q PVCKC6DY0Q
| URI | m2://inv/PVCKC6DY0Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#2G0X (definition). In DGE917KQSQ/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Renate Tobies PVCVGMGDW9
| URI | m2://inv/PVCVGMGDW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renate Tobies, Renate Tobies (topic). Also Wikidata Q126350
History
- 2026-11-02: add by m2/dev
PVCYHW43KH PVCYHW43KH
| URI | m2://inv/PVCYHW43KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#64CX (definition)
History
- 2026-11-02: add by m2/dev
Interpolation identity PVD4XAVCEP
| URI | m2://inv/PVD4XAVCEP |
|---|---|
| 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.20106#M4NX, Interpolation identity (statement). In 6HMZ36ZBXA/e1, lemma 6.11
History
- 2026-10-27: add by m2/v0.4.2
History of the National University of Singapore PVDF0FKAK8
| URI | m2://inv/PVDF0FKAK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#U1JA, History of the National University of Singapore (unknown)
History
- 2026-11-02: add by m2/dev
SecureDrop PVDHDN5M4R
| URI | m2://inv/PVDHDN5M4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SecureDrop, SecureDrop (definition). Also Wikidata Q15465348
History
- 2026-11-02: add by m2/dev
PVDRBRJX6A PVDRBRJX6A
| URI | m2://inv/PVDRBRJX6A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-54 (exercise). In E59CDZA4DP, exercise, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
Gohberg--Krein PVDRSERP2T
| URI | m2://inv/PVDRSERP2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#OBFE, Gohberg--Krein (statement). In N8TDKGGC7S/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
PVDVK256WH PVDVK256WH
| URI | m2://inv/PVDVK256WH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/expressing-props-of-structures.tex#ex-1 (example). In PKGMM3P5QY, ex, section 12.8
History
- 2026-11-01: add by m2/v0.6.13
series acceleration PVDWJJF6RP
| URI | m2://inv/PVDWJJF6RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Series acceleration B1S2XJPGYD |
Mentions
- wikidata: Wikidata Q1783478, series acceleration (unknown). Also MathWorld ConvergenceImprovement
- wikipedia: Wikipedia Series acceleration, Series acceleration (definition). Also Wikidata Q1783478
History
- 2026-10-26: add by m2/dev
Spin representation self-test PVDXMEFY8Y
| URI | m2://inv/PVDXMEFY8Y |
|---|---|
| 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.06755#FLQ8, Spin representation self-test (statement). In DKEX05SEXS/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.10
Example PVE2AWYK2P
| URI | m2://inv/PVE2AWYK2P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient Egyptian multiplication#I63V, Example (example)
History
- 2026-11-02: add by m2/dev
Weyl vector PVE7RBXNVJ
| URI | m2://inv/PVE7RBXNVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#B9YE, Weyl vector (statement)
History
- 2026-11-02: add by m2/dev
PVE9ZVK1EN PVE9ZVK1EN
| URI | m2://inv/PVE9ZVK1EN |
|---|---|
| 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.21692#0900 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Waterfall chart PVED3YN1W6
| URI | m2://inv/PVED3YN1W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#HKAJ, Waterfall chart (definition)
History
- 2026-11-02: add by m2/dev
PVEHJNZ4N3 PVEHJNZ4N3
| URI | m2://inv/PVEHJNZ4N3 |
|---|---|
| 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 2412.20001#P4JF (definition). In Y6YJSB93C3/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Ni PVEJTHZVNZ
| URI | m2://inv/PVEJTHZVNZ |
|---|---|
| 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 2609.31757#VGWU, Ni (statement). In KBJHAD5TTY/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
PVEK8C5TSP PVEK8C5TSP
| URI | m2://inv/PVEK8C5TSP |
|---|---|
| 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.21645#IBVY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Midpoint theorem PVEP2CK7TK
| URI | m2://inv/PVEP2CK7TK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midpoint theorem (conics), Midpoint theorem (statement). Also Wikidata Q112659216
History
- 2026-11-02: add by m2/dev
Information lower bound for one-bit compressed sensing PVEV5EMP42
| URI | m2://inv/PVEV5EMP42 |
|---|---|
| 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.11834#7HL6, Information lower bound for one-bit compressed sensing (statement). In SMC03CWP4R/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.3
PVEW89H3C9 PVEW89H3C9
| URI | m2://inv/PVEW89H3C9 |
|---|---|
| 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.10243#BI8C (statement). In 6N7EAD1PYD/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Identification--separation equivalence PVF6MQBEQ1
| URI | m2://inv/PVF6MQBEQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#H2NE, Identification--separation equivalence (statement)
History
- 2026-11-02: add by m2/v0.6.18
Calibration curve PVFB9624ZG
| URI | m2://inv/PVFB9624ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#ZFQ8, Calibration curve (unknown)
History
- 2026-11-02: add by m2/dev
optics PVFH96C0DZ
| URI | m2://inv/PVFH96C0DZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 78-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14620, optics (topic). Also nLab optics, ProofWiki Definition:Optics
History
- 2026-10-26: add by m2/dev
Generalizations PVFTA6HW6V
| URI | m2://inv/PVFTA6HW6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical system#X0ZV, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PVG6GVAG57 PVG6GVAG57
| URI | m2://inv/PVG6GVAG57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 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 2610.22161#EKSN (statement). In FVM35KPN8C/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
multiplier PVGFVPJQV8
| URI | m2://inv/PVGFVPJQV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12717024, multiplier (unknown). Also MathWorld Multiplier
History
- 2026-10-26: add by m2/dev
Special cases PVGGPPX65S
| URI | m2://inv/PVGGPPX65S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral t-distribution#2IVM, Special cases (statement)
History
- 2026-11-02: add by m2/dev
PVGT32B788 PVGT32B788
| URI | m2://inv/PVGT32B788 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#1Q9X (statement). In JJQPFXZQ3D/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
PVGZBMF733 PVGZBMF733
| URI | m2://inv/PVGZBMF733 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-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.22326#GRIS (definition). In EAABRG99V8/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
PVH0VWXP1F PVH0VWXP1F
| URI | m2://inv/PVH0VWXP1F |
|---|---|
| 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#M67U (statement)
History
- 2026-11-02: add by m2/v0.6.17
Claire Voisin PVH851NMSG
| URI | m2://inv/PVH851NMSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q468049, Claire Voisin (unknown). Also nLab Claire Voisin
- wikipedia: Wikipedia Claire Voisin, Claire Voisin (topic). Also Wikidata Q468049
History
- 2026-10-26: add by m2/dev
Uniform form of the cover limit PVHDTFWAW8
| URI | m2://inv/PVHDTFWAW8 |
|---|---|
| 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.11143#QCWA, Uniform form of the cover limit (statement). In 9CS15SV662/e1, lemma 11.1
History
- 2026-10-28: add by m2/v0.4.3
Applications PVHFVQXHRV
| URI | m2://inv/PVHFVQXHRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear canonical transformation#V4VB, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications PVHGWZETFS
| URI | m2://inv/PVHGWZETFS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular matrix#S8FJ, Applications (example)
History
- 2026-11-02: add by m2/dev
András Frank PVHKDA4TE0
| URI | m2://inv/PVHKDA4TE0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia András Frank, András Frank (topic). Also Wikidata Q1003501
History
- 2026-11-02: add by m2/dev
Examples PVHMDZ7V2V
| URI | m2://inv/PVHMDZ7V2V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer domain#LHAN, Examples (example)
History
- 2026-11-02: add by m2/dev
PVHZG1F25A PVHZG1F25A
| URI | m2://inv/PVHZG1F25A |
|---|---|
| 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.30779#UHKC (statement). In 64V4DXGBKB/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
PVJ1BH0MS4 PVJ1BH0MS4
| URI | m2://inv/PVJ1BH0MS4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 39.7.1
History
- 2026-11-01: add by m2/v0.6.13
PVJ1TZQR2K PVJ1TZQR2K
| URI | m2://inv/PVJ1TZQR2K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#E3Z3 (example). In AB2WPR2FRR/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.10
PVJ3SB844P PVJ3SB844P
| URI | m2://inv/PVJ3SB844P |
|---|---|
| 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.11679#FA7Q (statement). In 30PZ8ZVR3A/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.3
PVJ56CG069 PVJ56CG069
| URI | m2://inv/PVJ56CG069 |
|---|---|
| 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.13518#11WC (statement). In 613TY6V089/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Two-variable logic PVJ7RA3FD2
| URI | m2://inv/PVJ7RA3FD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-variable logic, Two-variable logic (definition). Also Wikidata Q18355323
History
- 2026-11-02: add by m2/dev
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L229}{\Verb|strongSSC\_tupReduce| PVJ7YWK8VD
| URI | m2://inv/PVJ7YWK8VD |
|---|---|
| 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.16323#V9HK, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L229}{\Verb|strongSSC\_tupReduce| (statement). In E215DFNY09/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
PVJ8PWHQDE PVJ8PWHQDE
| URI | m2://inv/PVJ8PWHQDE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 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 2503.12486#O6WS (definition). In 3343AEAXB3/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
exponential family PVJJHNX10D
| URI | m2://inv/PVJJHNX10D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#2A3U, exponential family (definition)
History
- 2026-11-02: add by m2/dev
Self-refuting idea PVJKBEAB6H
| URI | m2://inv/PVJKBEAB6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-refuting idea, Self-refuting idea (definition). Also Wikidata Q7448195
History
- 2026-11-02: add by m2/dev
absolute moment PVJQ8F7VGK
| URI | m2://inv/PVJQ8F7VGK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q481111, absolute moment (concept). Also MathWorld AbsoluteMoment
History
- 2026-10-26: add by m2/dev
PVK0SS64CX PVK0SS64CX
| URI | m2://inv/PVK0SS64CX |
|---|---|
| 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 2206.11809#S53B (statement). In YQXYSNW78V/e1, lemma 21
History
- 2026-10-27: add by m2/v0.3.5
Right tangential trapezoid PVK23SWNF4
| URI | m2://inv/PVK23SWNF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential trapezoid#K1J5, Right tangential trapezoid (unknown)
History
- 2026-11-02: add by m2/dev
Intensional definition PVK8SS4YR6
| URI | m2://inv/PVK8SS4YR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensional and intensional definitions#PH2W, Intensional definition (unknown)
History
- 2026-11-02: add by m2/dev
Whitney number PVKM2T1MNY
| URI | m2://inv/PVKM2T1MNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid#FEGI, Whitney number (unknown)
History
- 2026-11-02: add by m2/dev
PVKS6C2THZ PVKS6C2THZ
| URI | m2://inv/PVKS6C2THZ |
|---|---|
| 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.01802#TG87 (definition). In XGPZ0G9E1Q/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
PVM75DNYNX PVM75DNYNX
| URI | m2://inv/PVM75DNYNX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 33.4
History
- 2026-11-01: add by m2/v0.6.13
Placebo group PVM9J2FVTH
| URI | m2://inv/PVM9J2FVTH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical trial#534B, Placebo group (unknown)
History
- 2026-11-02: add by m2/dev
Shirley M. Frye PVMC0GR1Y4
| URI | m2://inv/PVMC0GR1Y4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shirley M. Frye, Shirley M. Frye (topic). Also Wikidata Q59160150
History
- 2026-11-02: add by m2/dev
Higgs prime PVMFGWJREA
| URI | m2://inv/PVMFGWJREA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higgs prime, Higgs prime (object). Also Wikidata Q3208514
History
- 2026-11-02: add by m2/dev
PVMG99NFM1 PVMG99NFM1
| URI | m2://inv/PVMG99NFM1 |
|---|---|
| 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.19882#EVHR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Shirshov–Witt theorem PVMHM8S0T5
| URI | m2://inv/PVMHM8S0T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free Lie algebra#NEXR, Shirshov–Witt theorem (statement)
History
- 2026-11-02: add by m2/dev
PECE PVMK34SW4V
| URI | m2://inv/PVMK34SW4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictor–corrector method#8SOS, PECE (unknown)
History
- 2026-11-02: add by m2/dev
forcing graph PVMVGHAWGH
| URI | m2://inv/PVMVGHAWGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4QSU, forcing graph (definition)
History
- 2026-11-02: add by m2/dev
Method of simulated moments PVMW806B44
| URI | m2://inv/PVMW806B44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of simulated moments, Method of simulated moments (definition). Also Wikidata Q6823723
History
- 2026-11-02: add by m2/dev
PVN92TWCMR PVN92TWCMR
| URI | m2://inv/PVN92TWCMR |
|---|---|
| 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.24043#I9BM (statement)
History
- 2026-11-02: add by m2/v0.6.17
many generalizations PVNC5926KX
| URI | m2://inv/PVNC5926KX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3B2K, many generalizations (conjecture)
History
- 2026-11-02: add by m2/dev
PVNFTRQFWT PVNFTRQFWT
| URI | m2://inv/PVNFTRQFWT |
|---|---|
| Kind | problem |
| 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.31269#GWV0 (problem). In ZPT9XCCAPQ/e1, problem 3.2.1
History
- 2026-10-31: add by m2/v0.5.6
covariance matrix PVNNAAJDYB
| URI | m2://inv/PVNNAAJDYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Covariance matrix 02CBHV4ZZQ |
Mentions
- wikidata: Wikidata Q1134404, covariance matrix (unknown). Also MathWorld CovarianceMatrix
- wikipedia: Wikipedia Covariance matrix, Covariance matrix (definition). Also Wikidata Q1134404
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
PVNQYJBVP9 PVNQYJBVP9
| URI | m2://inv/PVNQYJBVP9 |
|---|---|
| Kind | statement |
| 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.12484#TW12 (statement). In GW23NX78SB/e1, lemma 4.44
History
- 2026-10-28: add by m2/v0.4.2
PVNXTTN5JC PVNXTTN5JC
| URI | m2://inv/PVNXTTN5JC |
|---|---|
| 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.27168#4CCZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Noncommutative signal-flow graph PVP1XAJAXV
| URI | m2://inv/PVP1XAJAXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative signal-flow graph, Noncommutative signal-flow graph (definition). Also Wikidata Q7049227
History
- 2026-11-02: add by m2/dev
Upper and lower probabilities PVP28GSA1A
| URI | m2://inv/PVP28GSA1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BOI4, Upper and lower probabilities (definition)
History
- 2026-11-02: add by m2/dev
Harald Ganzinger PVP9M62047
| URI | m2://inv/PVP9M62047 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harald Ganzinger, Harald Ganzinger (topic). Also Wikidata Q92690
History
- 2026-11-02: add by m2/dev
Schur's inequality PVPE7P2NPK
| URI | m2://inv/PVPE7P2NPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's inequality, Schur's inequality (statement). Also Wikidata Q1317813
History
- 2026-11-02: add by m2/dev
≝ PVPK3T6CQH
| URI | m2://inv/PVPK3T6CQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#Y82A, ≝ (definition)
History
- 2026-11-02: add by m2/dev
PVPSVMKJTS PVPSVMKJTS
| URI | m2://inv/PVPSVMKJTS |
|---|---|
| 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.08873#LX4R (statement). In 7WMNVJBAVR/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Full ambient certificate PVPXEN5HPN
| URI | m2://inv/PVPXEN5HPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#B8MN, Full ambient certificate (statement). In 8PTDFHV8SQ/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.3
Statistical learning theory PVPYEAE94T
| URI | m2://inv/PVPYEAE94T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3NDG, Statistical learning theory (definition)
History
- 2026-11-02: add by m2/dev
Yoshiharu Kohayakawa PVPYPZYR28
| URI | m2://inv/PVPYPZYR28 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VOVS, Yoshiharu Kohayakawa (topic)
History
- 2026-11-02: add by m2/dev
PVPZETJMRC PVPZETJMRC
| URI | m2://inv/PVPZETJMRC |
|---|---|
| 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.17717#YQL4 (statement). In YXRKS451PK/e1, lemma A.7
History
- 2026-10-28: add by m2/v0.4.2
Karen Saxe PVPZYV4ZTR
| URI | m2://inv/PVPZYV4ZTR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Saxe, Karen Saxe (topic). Also Wikidata Q47535820
History
- 2026-11-02: add by m2/dev
Finite-time growth bound PVQ4F6G1HW
| URI | m2://inv/PVQ4F6G1HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#NM3S, Finite-time growth bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
PVQCQ7K13S PVQCQ7K13S
| URI | m2://inv/PVQCQ7K13S |
|---|---|
| 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.18673#8N1O (statement). In 7ZFD9XRKA1/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Stronger axioms PVQDXCP9KR
| URI | m2://inv/PVQDXCP9KR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#UCZ6, Stronger axioms (statement)
History
- 2026-11-02: add by m2/dev
Francis Su PVQHD0VTQY
| URI | m2://inv/PVQHD0VTQY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T0EY, Francis Su (topic)
History
- 2026-11-02: add by m2/dev
!!^{derivability} PVQJKYAN8S
| URI | m2://inv/PVQJKYAN8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-2, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Krein–Milman theorem PVQREM26Q8
| URI | m2://inv/PVQREM26Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Milman theorem#9OQ7, Krein–Milman theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations PVQV3HX2GS
| URI | m2://inv/PVQV3HX2GS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ample line bundle#0P0V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties PVQV59DY7N
| URI | m2://inv/PVQV59DY7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henselian ring#MT8H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Polyharmonic spline PVR2GNKFW0
| URI | m2://inv/PVR2GNKFW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyharmonic spline, Polyharmonic spline (definition). Also Wikidata Q7226491
History
- 2026-11-02: add by m2/dev
Mihalj Šilobod Bolšić PVR8RHCXAM
| URI | m2://inv/PVR8RHCXAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mihalj Šilobod Bolšić, Mihalj Šilobod Bolšić (topic). Also Wikidata Q12636824
History
- 2026-11-02: add by m2/dev
PVRGDK0WP1 PVRGDK0WP1
| URI | m2://inv/PVRGDK0WP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#SKE9 (statement). In HH35K7S17H/e1, lemma A.18
History
- 2026-10-29: add by m2/v0.4.10
Sumio Watanabe PVRHCE95GR
| URI | m2://inv/PVRHCE95GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sumio Watanabe, Sumio Watanabe (topic). Also Wikidata Q11562406
History
- 2026-11-02: add by m2/dev
PVRHTC85RF PVRHTC85RF
| URI | m2://inv/PVRHTC85RF |
|---|---|
| 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 1009.3308#5G0E (statement). In KGBKNQB52Z/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Karl Friedrich Wilhelm Dieterici PVRHWBK9TD
| URI | m2://inv/PVRHWBK9TD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Friedrich Wilhelm Dieterici, Karl Friedrich Wilhelm Dieterici (topic). Also Wikidata Q95965
History
- 2026-11-02: add by m2/dev
Borel equivalence relation PVRTPBJSV0
| URI | m2://inv/PVRTPBJSV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel equivalence relation, Borel equivalence relation (definition). Also Wikidata Q4944905
History
- 2026-11-02: add by m2/dev
PVS12AN035 PVS12AN035
| URI | m2://inv/PVS12AN035 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#ITN2 (statement). In 9B5TNEBJHV/e1, corollary 3.14
History
- 2026-10-29: add by m2/v0.4.10
Existence and uniqueness PVS2GN396J
| URI | m2://inv/PVS2GN396J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transportation theory (mathematics)#KR1M, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
generalized inverse PVSB6PR0PT
| URI | m2://inv/PVSB6PR0PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 15A09 |
| Sources | 2 |
| Outcome | open |
| Node | Generalized inverse FPHNJ5AAYF |
Mentions
- wikidata: Wikidata Q370634, generalized inverse (topic). Also MathWorld Pseudoinverse
- wikipedia: Wikipedia Generalized inverse, Generalized inverse (definition). Also Wikidata Q370634
History
- 2026-10-26: add by m2/dev
Strongly Log-Concave Moment Certificates PVSFK9WMMG
| URI | m2://inv/PVSFK9WMMG |
|---|---|
| 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.30105#Q8WR, Strongly Log-Concave Moment Certificates (statement)
History
- 2026-11-01: add by m2/v0.6.15
PVSJR53P5Q PVSJR53P5Q
| URI | m2://inv/PVSJR53P5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 1209.3562#LMZ3 (definition). In KZH1DCS18C/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
PVSN6BE6V0 PVSN6BE6V0
| URI | m2://inv/PVSN6BE6V0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-72 (exercise). In E59CDZA4DP, exercise, section 11.6.1
History
- 2026-11-01: add by m2/v0.6.13
Zvi Griliches PVSWGC1KZ8
| URI | m2://inv/PVSWGC1KZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3KO1, Zvi Griliches (unknown)
History
- 2026-11-02: add by m2/dev
Population PVSZ0JA2F0
| URI | m2://inv/PVSZ0JA2F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population (biology), Population (definition). Also Wikidata Q2625603
History
- 2026-11-02: add by m2/dev
universal PVSZX7QTEZ
| URI | m2://inv/PVSZX7QTEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#35YC, universal (definition)
History
- 2026-11-02: add by m2/dev
PVT43N6E42 PVT43N6E42
| URI | m2://inv/PVT43N6E42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.02556#PPLN (statement). In 78QQZYTGTD/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
PVT5ES20MW PVT5ES20MW
| URI | m2://inv/PVT5ES20MW |
|---|---|
| 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 2610.13972#VRG9 (statement). In S1KHNS8XQM/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
PVT74VZJNX PVT74VZJNX
| URI | m2://inv/PVT74VZJNX |
|---|---|
| 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.18152#3L7V (statement). In AAVGAGCWTE/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Pietro Mengoli PVT768G8C7
| URI | m2://inv/PVT768G8C7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pietro Mengoli, Pietro Mengoli (topic). Also Wikidata Q1188064
History
- 2026-11-02: add by m2/dev
Daniel J. Rudolph PVT8PM3QPG
| URI | m2://inv/PVT8PM3QPG |
|---|---|
| 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#RZAK, Daniel J. Rudolph (topic)
History
- 2026-11-02: add by m2/dev
PVTF3HRF0X PVTF3HRF0X
| URI | m2://inv/PVTF3HRF0X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 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.14060#3T50 (definition). In X47RYAZF8P/e1, definition 10.3
History
- 2026-10-28: add by m2/v0.4.2
PVTK475A7Z PVTK475A7Z
| URI | m2://inv/PVTK475A7Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-4.xml#ex-7-4-1 (exercise). In 649HGZKE96, exercise, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
partitions of unity PVTMM4WWN2
| URI | m2://inv/PVTMM4WWN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > partitions of unity, partitions of unity (unknown)
History
- 2026-10-26: add by m2/dev
score PVV53P3S2X
| URI | m2://inv/PVV53P3S2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Score CP97GRVTQ0 |
Mentions
- wikidata: Wikidata Q3952743, score (unknown). Also MathWorld ScoreFunction
- wikipedia: Wikipedia Informant function, Informant function (definition). Also Wikidata Q3952743
History
- 2026-10-26: add by m2/dev
Variations PVV7SY5S8P
| URI | m2://inv/PVV7SY5S8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitive dice#53IK, Variations (statement)
History
- 2026-11-02: add by m2/dev
Construction PVVK3Q1XN7
| URI | m2://inv/PVVK3Q1XN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 truncated pentagonal hexecontahedron#LTXW, Construction (definition)
History
- 2026-11-02: add by m2/dev
List of countries by real GDP growth rate PVVRSV6X90
| URI | m2://inv/PVVRSV6X90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by real GDP growth rate, List of countries by real GDP growth rate (topic). Also Wikidata Q3764970
History
- 2026-11-02: add by m2/dev
Taut submanifold PVVV6ZRXEH
| URI | m2://inv/PVVV6ZRXEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taut submanifold, Taut submanifold (definition). Also Wikidata Q7688955
History
- 2026-11-02: add by m2/dev
Bernstein lower bounds on a whole interval PVVWX74AGG
| URI | m2://inv/PVVWX74AGG |
|---|---|
| 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.35325#6C24, Bernstein lower bounds on a whole interval (statement). In GHT5WXFA4E/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
PVVZJ3N7QS PVVZJ3N7QS
| URI | m2://inv/PVVZJ3N7QS |
|---|---|
| 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.18033#496F (statement). In 59VRB6Y27N/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Theorem PVW45GTCF2
| URI | m2://inv/PVW45GTCF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#TJ7Q, Theorem (statement)
History
- 2026-11-02: add by m2/dev
PVW5Z59FR4 PVW5Z59FR4
| URI | m2://inv/PVW5Z59FR4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#41YN (definition)
History
- 2026-11-02: add by m2/v0.6.17
PVWCE1WVAE PVWCE1WVAE
| URI | m2://inv/PVWCE1WVAE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#3WA2 (example)
History
- 2026-11-02: add by m2/v0.6.18
Topologically nilpotent PVWCZTDWWB
| URI | m2://inv/PVWCZTDWWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational homotopy theory#NRYJ, Topologically nilpotent (unknown)
History
- 2026-11-02: add by m2/dev
Connectedness and distinguished points of the core PVWDQB9N9Z
| URI | m2://inv/PVWDQB9N9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#ERAN, Connectedness and distinguished points of the core (statement). In 4AQ48WSBDQ/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
PVWSKH83D1 PVWSKH83D1
| URI | m2://inv/PVWSKH83D1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#ZCNF (statement). In 3KTZ6Z615H/e1, lemma 4.13
History
- 2026-10-30: add by m2/v0.4.12
Shing-Tung Yau PVWX37010M
| URI | m2://inv/PVWX37010M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q334760, Shing-Tung Yau (unknown). Also nLab Shing-Tung Yau, ProofWiki Mathematician:Shing-Tung_Yau
- wikipedia: Wikipedia Shing-Tung Yau, Shing-Tung Yau (topic). Also Wikidata Q334760
History
- 2026-10-26: add by m2/dev
Properties PVX2D72N3V
| URI | m2://inv/PVX2D72N3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal element#CK0F, Properties (statement)
History
- 2026-11-02: add by m2/dev
PVX5RTDT1Q PVX5RTDT1Q
| URI | m2://inv/PVX5RTDT1Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-9 (example). In E59CDZA4DP, example, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
PVX85CXBJM PVX85CXBJM
| URI | m2://inv/PVX85CXBJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 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 2610.16157#9HJH (statement). In GV251MW5RP/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Graduated optimization PVX9V7ANZE
| URI | m2://inv/PVX9V7ANZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graduated optimization, Graduated optimization (definition). Also Wikidata Q5592074
History
- 2026-11-02: add by m2/dev
PVXA49ZD5C PVXA49ZD5C
| URI | m2://inv/PVXA49ZD5C |
|---|---|
| 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.04135#5T66 (statement). In 587PWJ6W5D/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Basin invariance of the sample GGDPC path PVXCDCF904
| URI | m2://inv/PVXCDCF904 |
|---|---|
| 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.01050#VYGR, Basin invariance of the sample GGDPC path (statement). In 48NN33SAH7/e1, lemma G.5
History
- 2026-10-29: add by m2/v0.4.12
Renewal theory PVXEXH0MP2
| URI | m2://inv/PVXEXH0MP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RDMH, Renewal theory (topic)
- wikipedia: Wikipedia List of probability topics#2B4V, Renewal theory (topic)
History
- 2026-11-02: add by m2/dev
Diophantine condition PVXHDCKG0F
| URI | m2://inv/PVXHDCKG0F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#FLIP, Diophantine condition (definition). In DQ6P0P6N78/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
PVXKHW1H7A PVXKHW1H7A
| URI | m2://inv/PVXKHW1H7A |
|---|---|
| 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 2411.07596#AUR8 (statement). In 4SFRNADV8F/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Superstrong cardinal PVXR7CHPZK
| URI | m2://inv/PVXR7CHPZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superstrong cardinal, Superstrong cardinal (definition). Also Wikidata Q7644252
History
- 2026-11-02: add by m2/dev
Yates's correction for continuity, yules correction PVXX5QTHT4
| URI | m2://inv/PVXX5QTHT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#XLI3, Yates's correction for continuity, yules correction (definition)
History
- 2026-11-02: add by m2/dev
Recovering the optimal slack PVXYA02Z5Y
| URI | m2://inv/PVXYA02Z5Y |
|---|---|
| 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.36827#EU9K, Recovering the optimal slack (statement). In VSHAQTB2CA/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Nikolay Nekhoroshev PVY8SVAK4P
| URI | m2://inv/PVY8SVAK4P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Nekhoroshev, Nikolay Nekhoroshev (topic). Also Wikidata Q4318207
History
- 2026-11-02: add by m2/dev
PVYHY6MS13 PVYHY6MS13
| URI | m2://inv/PVYHY6MS13 |
|---|---|
| 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 2311.01874#9AZD (example). In A4TR95VGX2/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
PVYJ35MH7P PVYJ35MH7P
| URI | m2://inv/PVYJ35MH7P |
|---|---|
| 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 2510.01873#QZBJ (statement). In FVZZDPEYNM/e1, proposition 1.10
History
- 2026-10-27: add by m2/v0.3.5
Stochastic investment model PVYJ5ZVCFZ
| URI | m2://inv/PVYJ5ZVCFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic investment model, Stochastic investment model (definition). Also Wikidata Q7617821
History
- 2026-11-02: add by m2/dev
Nine Mile Creek, Queensland PVYKWDRZXQ
| URI | m2://inv/PVYKWDRZXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NURC, Nine Mile Creek, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
Definitions PVYMNZ9NWX
| URI | m2://inv/PVYMNZ9NWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence coloring#40AZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
PVYRJP4Z3V PVYRJP4Z3V
| URI | m2://inv/PVYRJP4Z3V |
|---|---|
| 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.24185#6FQ1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PVZ53C82WQ PVZ53C82WQ
| URI | m2://inv/PVZ53C82WQ |
|---|---|
| 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.20049#ZG05 (statement)
History
- 2026-11-02: add by m2/v0.6.18
PVZ84D3BK4 PVZ84D3BK4
| URI | m2://inv/PVZ84D3BK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.30098#ATTG (statement)
History
- 2026-11-01: add by m2/v0.6.15
computation rule, for inductive types PVZ9TK08Z1
| URI | m2://inv/PVZ9TK08Z1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/computation-rule-for-inductive-types, computation rule, for inductive types (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
PVZCJQGZ57 PVZCJQGZ57
| URI | m2://inv/PVZCJQGZ57 |
|---|---|
| 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.09810#KWWZ (statement). In B6PCH930FV/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Rybczynski theorem PVZFVVDVX8
| URI | m2://inv/PVZFVVDVX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1348736, Rybczynski theorem (statement). Also Wikidata Q1348736
- thousand_plus: thousand_plus Q1348736, Rybczynski theorem (statement). Also Wikidata Q1348736, Wikipedia Rybczynski theorem
- wikipedia: Wikipedia Rybczynski theorem, Rybczynski theorem (statement). Also Wikidata Q1348736
History
- 2026-10-26: add by m2/dev
Examples PVZHQAAPTG
| URI | m2://inv/PVZHQAAPTG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute irreducibility#AE50, Examples (example)
History
- 2026-11-02: add by m2/dev
Numerical class numbers (computed PVZJXSSZ5Q
| URI | m2://inv/PVZJXSSZ5Q |
|---|---|
| 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.15340#VGYL, Numerical class numbers (computed (statement). In 9NVKKW8HDH/e1, proposition 3.34
History
- 2026-10-28: add by m2/v0.4.2
PVZPVGJWEZ PVZPVGJWEZ
| URI | m2://inv/PVZPVGJWEZ |
|---|---|
| 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.11031#ZDL9 (statement). In 9DMJXFRQN9/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.3
PVZXPKVWZA PVZXPKVWZA
| URI | m2://inv/PVZXPKVWZA |
|---|---|
| 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.21981#PIHD (definition). In H3M2QSKN43/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.2
Representation theorems PVZXVXD1CN
| URI | m2://inv/PVZXVXD1CN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure inductive logic#K62J, Representation theorems (statement)
History
- 2026-11-02: add by m2/dev
Counterexample PVZZ9M3AF6
| URI | m2://inv/PVZZ9M3AF6 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma#DNRF, Counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
Lawrence Ein PVZZFHBVEY
| URI | m2://inv/PVZZFHBVEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence Ein, Lawrence Ein (topic). Also Wikidata Q48783597
History
- 2026-11-02: add by m2/dev