Inventory rows P5
The cards of the rows of the inventory whose ids start with P5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
material biconditional P507YJ1JKX
| URI | m2://inv/P507YJ1JKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3PGO, material biconditional (definition)
History
- 2026-11-02: add by m2/dev
converges, complex series P50ARQYJ7Z
| URI | m2://inv/P50ARQYJ7Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.1.2/converges-complex-series, converges, complex series (concept). In E59CDZA4DP, index, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
P50E62ZP1V P50E62ZP1V
| URI | m2://inv/P50E62ZP1V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Load factor (computer science) P50SEH1DMG
| URI | m2://inv/P50SEH1DMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash table#DL65, Load factor (computer science) (unknown)
History
- 2026-11-02: add by m2/dev
Pairs S17--S20 P5120FHWGV
| URI | m2://inv/P5120FHWGV |
|---|---|
| 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.08865#HPOF, Pairs S17--S20 (statement). In SJ5JKGH94M/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.10
Properties P513TGE5H0
| URI | m2://inv/P513TGE5H0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation#RQIV, Properties (statement)
History
- 2026-11-02: add by m2/dev
P51DPTT5HV P51DPTT5HV
| URI | m2://inv/P51DPTT5HV |
|---|---|
| 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 2510.12502#YHW9 (statement). In 3A4K47Y9F2/e1, theorem 4.21
History
- 2026-10-27: add by m2/v0.4.0
Hilbert polynomial P51GJWCEFQ
| URI | m2://inv/P51GJWCEFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#1V2Q, Hilbert polynomial (definition)
History
- 2026-11-02: add by m2/dev
P51J00JTC3 P51J00JTC3
| URI | m2://inv/P51J00JTC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21552#PKYG (statement)
History
- 2026-11-02: add by m2/v0.6.18
ViSta, The Visual Statistics system P51P9X4XKV
| URI | m2://inv/P51P9X4XKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JW9H, ViSta, The Visual Statistics system (definition)
History
- 2026-11-02: add by m2/dev
Group isomorphism problem P51R24K5BA
| URI | m2://inv/P51R24K5BA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group isomorphism problem, Group isomorphism problem (problem). Also Wikidata Q5611242
History
- 2026-11-02: add by m2/dev
Likert scale P51W1ZRDCS
| URI | m2://inv/P51W1ZRDCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likert scale, Likert scale (definition). Also Wikidata Q617473
History
- 2026-11-02: add by m2/dev
P51Y0VGZR2 P51Y0VGZR2
| URI | m2://inv/P51Y0VGZR2 |
|---|---|
| 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.02993#3FEO (statement). In TJH58FRGEN/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
S. Lynne Stokes P51Z9FGHGS
| URI | m2://inv/P51Z9FGHGS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#M3UZ, S. Lynne Stokes (topic)
History
- 2026-11-02: add by m2/dev
P523KF7GYP P523KF7GYP
| URI | m2://inv/P523KF7GYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#MFL7 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Statement P5278QQT0K
| URI | m2://inv/P5278QQT0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frattini's argument#5S83, Statement (statement)
History
- 2026-11-02: add by m2/dev
subsemigroups P527XYDVHJ
| URI | m2://inv/P527XYDVHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#X8N9, subsemigroups (definition)
History
- 2026-11-02: add by m2/dev
P52E7BS551 P52E7BS551
| URI | m2://inv/P52E7BS551 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#A4ZR (statement). In 47WN78VDDF/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Ring of integers P52F090QZW
| URI | m2://inv/P52F090QZW |
|---|---|
| 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 2610.17137#CU0I, Ring of integers (definition). In GKHSE92M91/e1, definition 11
History
- 2026-10-28: add by m2/v0.4.2
P52GR8G2HV P52GR8G2HV
| URI | m2://inv/P52GR8G2HV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#PHH8 (definition). In PREJREM4BB/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
P52JXPBKQF P52JXPBKQF
| URI | m2://inv/P52JXPBKQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#KOZB (statement). In GAG532VMPF/e1, theorem 1.1.3
History
- 2026-10-27: add by m2/v0.3.5
P52K8899VD P52K8899VD
| URI | m2://inv/P52K8899VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#FCHJ (statement). In WRE0P7V6Z3/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
P532YHSP47 P532YHSP47
| URI | m2://inv/P532YHSP47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.20229#TAOO (definition). In 1B85G2QJC2/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
List of theorems P53AXXT2DN
| URI | m2://inv/P53AXXT2DN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems, List of theorems (topic). Also Wikidata Q944443
History
- 2026-11-02: add by m2/dev
Fixed-occupation limit P53EFPP5GK
| URI | m2://inv/P53EFPP5GK |
|---|---|
| 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.00396#DQ8H, Fixed-occupation limit (statement). In V13TE1RWT9/e1, proposition A.4
History
- 2026-10-30: add by m2/v0.4.12
P53EJA57A6 P53EJA57A6
| URI | m2://inv/P53EJA57A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#MHJS (statement). In C87H6KZSBM/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
P53EX99M1E P53EX99M1E
| URI | m2://inv/P53EX99M1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#PI1O (statement). In 5ZPSZFE08Q/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.10
Grille P53HD87T8X
| URI | m2://inv/P53HD87T8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grille (cryptography), Grille (definition). Also Wikidata Q655908
History
- 2026-11-02: add by m2/dev
Frank Birch P53KYN2K28
| URI | m2://inv/P53KYN2K28 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Birch, Frank Birch (topic). Also Wikidata Q14819199
History
- 2026-11-02: add by m2/dev
P53MSNJN74 P53MSNJN74
| URI | m2://inv/P53MSNJN74 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-70 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
P53RSQ90YQ P53RSQ90YQ
| URI | m2://inv/P53RSQ90YQ |
|---|---|
| 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.02174#ZTDJ (statement). In 7JPHSV4NXW/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
P53T67FP9N P53T67FP9N
| URI | m2://inv/P53T67FP9N |
|---|---|
| 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.10773#2KC9 (statement). In 744Y8ZPEV7/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.3
A bound from Serre duality P5497VSQPX
| URI | m2://inv/P5497VSQPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#I6QV, A bound from Serre duality (statement). In TBFPBPQV3G/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.4.2
P54AW33H09 P54AW33H09
| URI | m2://inv/P54AW33H09 |
|---|---|
| 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 2605.00407#OLJU (statement). In TVFD0G3F2W/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
P54CGSQQW1 P54CGSQQW1
| URI | m2://inv/P54CGSQQW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#8OHT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Brocard axis P54E0BZKD1
| URI | m2://inv/P54E0BZKD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central line (geometry)#LJM3, Brocard axis (unknown)
History
- 2026-11-02: add by m2/dev
Infinitely flat maxima P54QP6Z588
| URI | m2://inv/P54QP6Z588 |
|---|---|
| Kind | example |
| 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.37704#KQBJ, Infinitely flat maxima (example). In HGTFJ325A4/e1, example 8.5
History
- 2026-10-30: add by m2/v0.4.12
Scaled correlation P54Z336Y68
| URI | m2://inv/P54Z336Y68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scaled correlation, Scaled correlation (definition). Also Wikidata Q7429746
History
- 2026-11-02: add by m2/dev
Goschen, George P555CRF69S
| URI | m2://inv/P555CRF69S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HMVM, Goschen, George (unknown)
History
- 2026-11-02: add by m2/dev
Definition P5569W74JS
| URI | m2://inv/P5569W74JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axial current#GFFO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Application P557SG5TCY
| URI | m2://inv/P557SG5TCY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Productive matrix#SHSZ, Application (example)
History
- 2026-11-02: add by m2/dev
P55GMDK2R4 P55GMDK2R4
| URI | m2://inv/P55GMDK2R4 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#L6IY (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Hammersley–Clifford theorem P55HWPHMJ8
| URI | m2://inv/P55HWPHMJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MQMO, Hammersley–Clifford theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties P56385H68H
| URI | m2://inv/P56385H68H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalised Whitehead product#0NSY, Properties (statement)
History
- 2026-11-02: add by m2/dev
P564EHEFJ1 P564EHEFJ1
| URI | m2://inv/P564EHEFJ1 |
|---|---|
| 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.31556#FJWC (statement). In 1VBEMR0JXH/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
P5675MPE10 P5675MPE10
| URI | m2://inv/P5675MPE10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-13 (definition). In E59CDZA4DP, defn, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
P56C0BMDBZ P56C0BMDBZ
| URI | m2://inv/P56C0BMDBZ |
|---|---|
| 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.13631#8DJL (statement). In N6PQQSYN73/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Alternative definitions P56JRQAV0S
| URI | m2://inv/P56JRQAV0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#WJJX, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
P56WC4HWN0 P56WC4HWN0
| URI | m2://inv/P56WC4HWN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36717#0NW2 (statement). In 69FBWG9P3B/e1, proposition 3.13
History
- 2026-10-30: add by m2/v0.4.12
Test statistic P56WTB6R10
| URI | m2://inv/P56WTB6R10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T3IE, Test statistic (definition)
- wikipedia: Wikipedia Lists of statistics topics#8GB8, Test statistic (definition)
History
- 2026-11-02: add by m2/dev
P571HR7WYX P571HR7WYX
| URI | m2://inv/P571HR7WYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.00869#9C6M (statement). In 63JMKC4GZE/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Dignāga P57FN5W0YB
| URI | m2://inv/P57FN5W0YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Q9MX, Dignāga (topic)
History
- 2026-11-02: add by m2/dev
P57G7Z4RVC P57G7Z4RVC
| URI | m2://inv/P57G7Z4RVC |
|---|---|
| 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.27635#ZEEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
P57HR6CW7P P57HR6CW7P
| URI | m2://inv/P57HR6CW7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#G85R (statement). In MS7M2BJS9X/e1, lemma 7.17
History
- 2026-10-29: add by m2/v0.4.10
P57NQ9DBYH P57NQ9DBYH
| URI | m2://inv/P57NQ9DBYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#3MC1 (definition). In 7WV4JVGEN1/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Probabilistic number theory P583PD6F5W
| URI | m2://inv/P583PD6F5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic number theory, Probabilistic number theory (topic). Also Wikidata Q7246860
History
- 2026-11-02: add by m2/dev
P58527KTTR P58527KTTR
| URI | m2://inv/P58527KTTR |
|---|---|
| Kind | definition |
| 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.18242#DQIX (definition). In VVC2FHQZZR/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Journal of Symbolic Logic P5858B0HN2
| URI | m2://inv/P5858B0HN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#VUG5, Journal of Symbolic Logic (unknown)
History
- 2026-11-02: add by m2/dev
circle packing in a circle P5863TK7AP
| URI | m2://inv/P5863TK7AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5121498, circle packing in a circle (unknown). Also MathWorld CirclePacking
- wikipedia: Wikipedia Circle packing in a circle, Circle packing in a circle (definition). Also Wikidata Q5121498
History
- 2026-10-26: add by m2/dev
P589H0XFSN P589H0XFSN
| URI | m2://inv/P589H0XFSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#NVOS (definition). In 90QTB4CC31/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
RR+SGE projected-gradient reduction P58SBCSTYS
| URI | m2://inv/P58SBCSTYS |
|---|---|
| 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.21139#UXZN, RR+SGE projected-gradient reduction (statement). In E3NM0QN6KK/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
$Q$-inequality P58TGN8HYG
| URI | m2://inv/P58TGN8HYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#12UU, $Q$-inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Boáz Klartag P58X816AT5
| URI | m2://inv/P58X816AT5 |
|---|---|
| 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#88HM, Boáz Klartag (topic)
History
- 2026-11-02: add by m2/dev
P58XREYC4H P58XREYC4H
| URI | m2://inv/P58XREYC4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15405#MP52 (statement). In 9QCYCXVF5W/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
P58Z79DSP8 P58Z79DSP8
| URI | m2://inv/P58Z79DSP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#QOCX (statement). In XBAXW1YBAK/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
P58ZQ889XM P58ZQ889XM
| URI | m2://inv/P58ZQ889XM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-58 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
P597AKAZ0V P597AKAZ0V
| URI | m2://inv/P597AKAZ0V |
|---|---|
| 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 2211.04758#9LSF (definition). In DRWDJG2G3S/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.5
P59EM6P446 P59EM6P446
| URI | m2://inv/P59EM6P446 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#5LGU (statement). In 2ZRQP063HP/e1, fact 2.1
History
- 2026-10-28: add by m2/v0.4.2
bridgeless graph P59GC90ZAR
| URI | m2://inv/P59GC90ZAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130379395, bridgeless graph (unknown). Also MathWorld BridgelessGraph
History
- 2026-10-26: add by m2/dev
Yunqing Tang P59KRW6RB2
| URI | m2://inv/P59KRW6RB2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yunqing Tang, Yunqing Tang (topic). Also Wikidata Q102983897
History
- 2026-11-02: add by m2/dev
P59MKE8SM1 P59MKE8SM1
| URI | m2://inv/P59MKE8SM1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#9F87 (definition). In ZPT9XCCAPQ/e1, definition A.0.1
History
- 2026-10-31: add by m2/v0.5.6
P59VEBPA2Z P59VEBPA2Z
| URI | m2://inv/P59VEBPA2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#RRVM (statement). In 6B2PCEGCYZ/e1, corollary 2.10
History
- 2026-10-31: add by m2/v0.5.6
Rogers–Ramanujan identities P59VTB7VJK
| URI | m2://inv/P59VTB7VJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rogers–Ramanujan identities M24H4GJPPW |
Mentions
- wikidata: Wikidata Q7359380, Rogers–Ramanujan identities (statement). Also MathWorld Rogers-RamanujanIdentities
- wikipedia: Wikipedia Rogers–Ramanujan identities, Rogers–Ramanujan identities (definition). Also Wikidata Q7359380
History
- 2026-10-26: add by m2/dev
Ogg's formula P5A5XQFHQ5
| URI | m2://inv/P5A5XQFHQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor of an elliptic curve#7XPE, Ogg's formula (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Jacques Hadamard P5A8FR6EX7
| URI | m2://inv/P5A8FR6EX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard, List of things named after Jacques Hadamard (topic). Also Wikidata Q16941396
History
- 2026-11-02: add by m2/dev
P5AN64RB0S P5AN64RB0S
| URI | m2://inv/P5AN64RB0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02506#8PJM (example). In 3JKRBZWJ33/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.12
Commutativity, bounded term incidence, and conserved operators P5AWWNVP5S
| URI | m2://inv/P5AWWNVP5S |
|---|---|
| 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.16351#F4U7, Commutativity, bounded term incidence, and conserved operators (statement). In 1QSV7EQE3T/e1, proposition S79
History
- 2026-10-28: add by m2/v0.4.2
P5AY2A44BC P5AY2A44BC
| URI | m2://inv/P5AY2A44BC |
|---|---|
| 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 2103.12669#TN7Z (example). In ZA6XNBA90V/e1, example 0.1
History
- 2026-10-27: add by m2/v0.3.5
Definitions P5AYV7PSHN
| URI | m2://inv/P5AYV7PSHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah algebroid#A4UA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples P5B1ZKY0EC
| URI | m2://inv/P5B1ZKY0EC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solinas prime#WKLV, Examples (example)
History
- 2026-11-02: add by m2/dev
Boris Efimov P5B2PRR80R
| URI | m2://inv/P5B2PRR80R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#5VGN, Boris Efimov (unknown)
History
- 2026-11-02: add by m2/dev
Lie group P5B454M6CZ
| URI | m2://inv/P5B454M6CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 22Exx |
| Sources | 2 |
| Outcome | open |
| Node | Lie group 7JBRGCVJRB |
Mentions
- wikidata: Wikidata Q622679, Lie group (topic). Also EoM Lie_group, MathWorld LieGroup, nLab Lie group, ProofWiki Definition:Lie_Group
- wikipedia: Wikipedia Lie group, Lie group (definition). Also Wikidata Q622679
History
- 2026-10-26: add by m2/dev
P5B7HC49N6 P5B7HC49N6
| URI | m2://inv/P5B7HC49N6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Cause-specific survival P5B7SN7GN0
| URI | m2://inv/P5B7SN7GN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival rate#DYRT, Cause-specific survival (unknown)
History
- 2026-11-02: add by m2/dev
P5B9MZ241X P5B9MZ241X
| URI | m2://inv/P5B9MZ241X |
|---|---|
| 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.30165#1I7F (statement)
History
- 2026-11-01: add by m2/v0.6.15
P5BH6VMRMP P5BH6VMRMP
| URI | m2://inv/P5BH6VMRMP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
P5BR1NN6KH P5BR1NN6KH
| URI | m2://inv/P5BR1NN6KH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#H7GT (example). In RZWJ0AT8W5/e1, example 4.5
History
- 2026-10-31: add by m2/v0.5.6
Examples P5BRVVW6EK
| URI | m2://inv/P5BRVVW6EK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular p-group#RVE8, Examples (example)
History
- 2026-11-02: add by m2/dev
P5BW074R3F P5BW074R3F
| URI | m2://inv/P5BW074R3F |
|---|---|
| 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.08382#HZ9V (statement). In GYMGDQS25R/e1, corollary 6.24
History
- 2026-10-29: add by m2/v0.4.10
P5C004646P P5C004646P
| URI | m2://inv/P5C004646P |
|---|---|
| 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.35287#3WKY (statement). In BPPBAWGPHJ/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Whipple's index P5C2THKEHP
| URI | m2://inv/P5C2THKEHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O0PE, Whipple's index (definition)
History
- 2026-11-02: add by m2/dev
Ockham algebra P5C3ZTZQZ5
| URI | m2://inv/P5C3ZTZQZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#MHQD, Ockham algebra (definition)
History
- 2026-11-02: add by m2/dev
Special cases P5C4PEM3K4
| URI | m2://inv/P5C4PEM3K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehresmann connection#J57I, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Norman Bradburn P5C7QWESGE
| URI | m2://inv/P5C7QWESGE |
|---|---|
| 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#D5P0, Norman Bradburn (unknown)
History
- 2026-11-02: add by m2/dev
Leroy Milton Kelly P5CA863FPM
| URI | m2://inv/P5CA863FPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#06U9, Leroy Milton Kelly (topic)
History
- 2026-11-02: add by m2/dev
P5CFQEQ5Q7 P5CFQEQ5Q7
| URI | m2://inv/P5CFQEQ5Q7 |
|---|---|
| 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 2110.06338#MNQL (statement). In W1VVK7WDPK/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
P5CJ3YZ30Y P5CJ3YZ30Y
| URI | m2://inv/P5CJ3YZ30Y |
|---|---|
| Kind | definition |
| 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 2510.12502#IN4K (definition). In 3A4K47Y9F2/e1, definition 4.27
History
- 2026-10-27: add by m2/v0.4.0
P5CJFEA3G0 P5CJFEA3G0
| URI | m2://inv/P5CJFEA3G0 |
|---|---|
| Kind | statement |
| 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#2VT2 (statement). In EAABRG99V8/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
\texttt{Contraction of the invariant measure map P5CNKEP2JR
| URI | m2://inv/P5CNKEP2JR |
|---|---|
| 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.06343#F9UG, \texttt{Contraction of the invariant measure map (statement). In R8176XJ535/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
T distribution (disambiguation) P5D2ZCV048
| URI | m2://inv/P5D2ZCV048 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ULFG, T distribution (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
forgetful functor P5D5R7RTTQ
| URI | m2://inv/P5D5R7RTTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#50SM, forgetful functor (definition)
History
- 2026-11-02: add by m2/dev
P5D7NC5Y9W P5D7NC5Y9W
| URI | m2://inv/P5D7NC5Y9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#J61G (statement). In SVJYA0171G/e1, theorem 6.14
History
- 2026-10-30: add by m2/v0.4.12
Local basin of the degenerate intersection P5DJA5TC08
| URI | m2://inv/P5DJA5TC08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#MB9C, Local basin of the degenerate intersection (statement). In CHPJWBREES/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
chunk-level completeness P5DMCHQBQE
| URI | m2://inv/P5DMCHQBQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25011#Z1JD, chunk-level completeness (statement)
History
- 2026-11-01: add by m2/v0.6.15
conference graph P5E5XTJRC3
| URI | m2://inv/P5E5XTJRC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5159897, conference graph (unknown). Also MathWorld ConferenceGraph
- wikipedia: Wikipedia Conference graph, Conference graph (definition). Also Wikidata Q5159897
History
- 2026-10-26: add by m2/dev
The Foundations of Arithmetic P5EEZAQNXW
| URI | m2://inv/P5EEZAQNXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Foundations of Arithmetic, The Foundations of Arithmetic (definition). Also Wikidata Q732146
History
- 2026-11-02: add by m2/dev
\emph{Convergence of Optimal Cost P5EMA0RCYG
| URI | m2://inv/P5EMA0RCYG |
|---|---|
| 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.13424#MDNI, \emph{Convergence of Optimal Cost (statement). In RBCXCDNPAN/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Geometric quotient P5EXXXNBQR
| URI | m2://inv/P5EXXXNBQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric quotient, Geometric quotient (definition). Also Wikidata Q17097932
History
- 2026-11-02: add by m2/dev
Clawson point P5F58912EJ
| URI | m2://inv/P5F58912EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#K662, Clawson point (definition)
History
- 2026-11-02: add by m2/dev
Introduction to Probability Models P5F6EACQVY
| URI | m2://inv/P5F6EACQVY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#ED22, Introduction to Probability Models (topic)
History
- 2026-11-02: add by m2/dev
Definition P5F7JZCF6J
| URI | m2://inv/P5F7JZCF6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson acceleration#7IWO, Definition (definition)
History
- 2026-11-02: add by m2/dev
P5FAZCTD6D P5FAZCTD6D
| URI | m2://inv/P5FAZCTD6D |
|---|---|
| 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#4S2N (statement). In 64V4DXGBKB/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Uniform antiprismatic prism P5FKJFF3VH
| URI | m2://inv/P5FKJFF3VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform antiprismatic prism, Uniform antiprismatic prism (definition). Also Wikidata Q3893484
History
- 2026-11-02: add by m2/dev
P5FM27JG8C P5FM27JG8C
| URI | m2://inv/P5FM27JG8C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.24355#FPBF (definition). In VV3AJMWWCR/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
very ample P5FN04H6AT
| URI | m2://inv/P5FN04H6AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#1ONP, very ample (definition)
History
- 2026-11-02: add by m2/dev
Yff conics P5FZZZDGQT
| URI | m2://inv/P5FZZZDGQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle conic#WJZ3, Yff conics (unknown)
History
- 2026-11-02: add by m2/dev
P5G1Y6SDCH P5G1Y6SDCH
| URI | m2://inv/P5G1Y6SDCH |
|---|---|
| Kind | definition |
| 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 2510.12502#TSBO (definition). In 3A4K47Y9F2/e1, definition 4.14
History
- 2026-10-27: add by m2/v0.4.0
Statement P5G5GSCD7V
| URI | m2://inv/P5G5GSCD7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Størmer's theorem#1DST, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definition P5G6FMYK21
| URI | m2://inv/P5G6FMYK21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association rule learning#T2GU, Definition (definition)
History
- 2026-11-02: add by m2/dev
cis P5G8Z9FBER
| URI | m2://inv/P5G8Z9FBER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22093344, cis (unknown). Also MathWorld Cis
- wikipedia: Wikipedia Cis (mathematics), Cis (definition). Also Wikidata Q22093344
History
- 2026-10-26: add by m2/dev
Weyl's tile argument P5GGDNP4A9
| URI | m2://inv/P5GGDNP4A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's tile argument, Weyl's tile argument (definition). Also Wikidata Q25052232
History
- 2026-11-02: add by m2/dev
Insufficiency of finite angular data P5GGZ0A8F4
| URI | m2://inv/P5GGZ0A8F4 |
|---|---|
| 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.37704#E0T6, Insufficiency of finite angular data (statement). In HGTFJ325A4/e1, theorem 8.7
History
- 2026-10-30: add by m2/v0.4.12
Well-posed problem P5GGZ8KVBY
| URI | m2://inv/P5GGZ8KVBY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1G3U, Well-posed problem (problem)
History
- 2026-11-02: add by m2/dev
ad infinitum P5GN1RVC6F
| URI | m2://inv/P5GN1RVC6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#C61V, ad infinitum (definition)
History
- 2026-11-02: add by m2/dev
Ranking SVM P5GTTWMPNR
| URI | m2://inv/P5GTTWMPNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking SVM, Ranking SVM (definition). Also Wikidata Q7293290
History
- 2026-11-02: add by m2/dev
P5H4DGE51T P5H4DGE51T
| URI | m2://inv/P5H4DGE51T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.20740#0WXL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Small CR-quasisymmetry P5H8AD2FP2
| URI | m2://inv/P5H8AD2FP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28014#NQUU, Small CR-quasisymmetry (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bruce Rothschild P5H91Y9ZDQ
| URI | m2://inv/P5H91Y9ZDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#H5Q5, Bruce Rothschild (unknown)
History
- 2026-11-02: add by m2/dev
Brad, Ion Ionescu de la P5HAQAYK0R
| URI | m2://inv/P5HAQAYK0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LUV8, Brad, Ion Ionescu de la (unknown)
History
- 2026-11-02: add by m2/dev
P5HSZ961FZ P5HSZ961FZ
| URI | m2://inv/P5HSZ961FZ |
|---|---|
| Kind | statement |
| 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#VHQ3 (statement). In KZH1DCS18C/e1, corollary 6.13
History
- 2026-10-27: add by m2/v0.3.5
P5HY5V6KDF P5HY5V6KDF
| URI | m2://inv/P5HY5V6KDF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Examples P5JC6SBQ27
| URI | m2://inv/P5JC6SBQ27 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff maximal principle#FUIN, Examples (example)
History
- 2026-11-02: add by m2/dev
P5JF786P10 P5JF786P10
| URI | m2://inv/P5JF786P10 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 83.9
History
- 2026-11-01: add by m2/v0.6.13
P5K3A5V1KC P5K3A5V1KC
| URI | m2://inv/P5K3A5V1KC |
|---|---|
| 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.12486#NFNQ (statement). In CWQ2YHT24E/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Formulas discovered by the Ramanujan machine P5K41SWHT9
| URI | m2://inv/P5K41SWHT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan machine#R80I, Formulas discovered by the Ramanujan machine (statement)
History
- 2026-11-02: add by m2/dev
Yamartino method P5K7P97HH8
| URI | m2://inv/P5K7P97HH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#JUQL, Yamartino method (definition)
History
- 2026-11-02: add by m2/dev
Random multinomial logit P5K92GQ6NA
| URI | m2://inv/P5K92GQ6NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L1JD, Random multinomial logit (definition)
History
- 2026-11-02: add by m2/dev
P5KEG13MRC P5KEG13MRC
| URI | m2://inv/P5KEG13MRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09599#UNHR (statement). In 4JYGH9XNA9/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
horizontal and $x_i$-based strategy P5KEHK5G09
| URI | m2://inv/P5KEHK5G09 |
|---|---|
| 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 2312.01517#DZS5, horizontal and $x_i$-based strategy (definition). In 1H6HQSMYJW/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Bond convexity P5KETW5SBF
| URI | m2://inv/P5KETW5SBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#AUR8, Bond convexity (unknown)
History
- 2026-11-02: add by m2/dev
Short-cycle candidate bound P5KJ6JPZZC
| URI | m2://inv/P5KJ6JPZZC |
|---|---|
| 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.20414#GZ2A, Short-cycle candidate bound (statement). In X2NNNW8CX5/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.2
Cousin prime P5KKTQG6MR
| URI | m2://inv/P5KKTQG6MR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#W1SZ, Cousin prime (conjecture)
History
- 2026-11-02: add by m2/dev
P5KMY1GR6G P5KMY1GR6G
| URI | m2://inv/P5KMY1GR6G |
|---|---|
| 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.36411#NK1W (statement). In 9QG5CND2RQ/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Examples P5KP5TN0RH
| URI | m2://inv/P5KP5TN0RH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Batalin–Vilkovisky formalism#MURC, Examples (example)
History
- 2026-11-02: add by m2/dev
Ishimori equation P5KQDGRNRF
| URI | m2://inv/P5KQDGRNRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#IBXE, Ishimori equation (definition)
History
- 2026-11-02: add by m2/dev
P5KS3V7CN8 P5KS3V7CN8
| URI | m2://inv/P5KS3V7CN8 |
|---|---|
| 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.24065#OGY5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ludwig Scheeffer P5KT0X3WAT
| URI | m2://inv/P5KT0X3WAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CPNC, Ludwig Scheeffer (topic)
History
- 2026-11-02: add by m2/dev
Proposition P5KWH9Q4PZ
| URI | m2://inv/P5KWH9Q4PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive relation#B01D, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Sucharit Sarkar P5M3BAWXGB
| URI | m2://inv/P5M3BAWXGB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#P2EM, Sucharit Sarkar (topic)
History
- 2026-11-02: add by m2/dev
Riemann mapping theorem and generalizations P5M679YJXY
| URI | m2://inv/P5M679YJXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biholomorphism#KWWZ, Riemann mapping theorem and generalizations (statement)
History
- 2026-11-02: add by m2/dev
Vector clocks P5MFTZ9WR3
| URI | m2://inv/P5MFTZ9WR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RY2Z, Vector clocks (unknown)
History
- 2026-11-02: add by m2/dev
P5MHZJFS0C P5MHZJFS0C
| URI | m2://inv/P5MHZJFS0C |
|---|---|
| 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 2201.12479#PTLN (statement). In ZDWR95TW99/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Classical List Decoding P5MKHA6DSS
| URI | m2://inv/P5MKHA6DSS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#7W48, Classical List Decoding (definition). In 7MVPNFPRKB/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
exterior algebra P5MM0KG3JN
| URI | m2://inv/P5MM0KG3JN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > exterior algebra, exterior algebra (unknown). Also Mathlib ExteriorAlgebra
History
- 2026-10-26: add by m2/dev
P5MP2J9J69 P5MP2J9J69
| URI | m2://inv/P5MP2J9J69 |
|---|---|
| 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.36714#JK62 (statement). In Z2BKQBEMTQ/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Positive linear operator P5MVWNPBNS
| URI | m2://inv/P5MVWNPBNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive linear operator, Positive linear operator (definition). Also Wikidata Q96399850
History
- 2026-11-02: add by m2/dev
Conditional densities with retained curvature P5N5R4S7K8
| URI | m2://inv/P5N5R4S7K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#AEGK, Conditional densities with retained curvature (statement). In 9YAE8FNQST/e1, lemma 15.3
History
- 2026-10-30: add by m2/v0.4.12
Definition and examples P5N74J8S2N
| URI | m2://inv/P5N74J8S2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numbering (computability theory)#UPKY, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Bernoulli's principle P5NAR0J29F
| URI | m2://inv/P5NAR0J29F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's principle, Bernoulli's principle (statement). Also Wikidata Q181328
History
- 2026-11-02: add by m2/dev
P5NAX52ADH P5NAX52ADH
| URI | m2://inv/P5NAX52ADH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#19H4 (statement). In CC6S1HVK0T/e1, proposition 9.14
History
- 2026-10-28: add by m2/v0.4.2
P5NBC7PXCQ P5NBC7PXCQ
| URI | m2://inv/P5NBC7PXCQ |
|---|---|
| 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 2011.12496#JF8X (statement). In 1DH15ZJFRZ/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
P5NDR8VZCF P5NDR8VZCF
| URI | m2://inv/P5NDR8VZCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19023#CEKK (statement). In QFA8TMJPHZ/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
Definition P5NHGKJZHQ
| URI | m2://inv/P5NHGKJZHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#O6EZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
P5NKBCZS6A P5NKBCZS6A
| URI | m2://inv/P5NKBCZS6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#OQ23 (statement). In D16PSAVVWV/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
P5NKHYT0EY P5NKHYT0EY
| URI | m2://inv/P5NKHYT0EY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Pierre Wantzel P5NV2TQ5DW
| URI | m2://inv/P5NV2TQ5DW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Wantzel, Pierre Wantzel (topic). Also Wikidata Q451176
History
- 2026-11-02: add by m2/dev
Generalizations P5NVR39BHM
| URI | m2://inv/P5NVR39BHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medial magma#P2PQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
P5NY2SG5VB P5NY2SG5VB
| URI | m2://inv/P5NY2SG5VB |
|---|---|
| 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.18242#9TF9 (statement). In VVC2FHQZZR/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Statistical close P5PJHVN1XA
| URI | m2://inv/P5PJHVN1XA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical distance#EK6B, Statistical close (unknown)
History
- 2026-11-02: add by m2/dev
decade P5PK3YT267
| URI | m2://inv/P5PK3YT267 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39911, decade (definition). Also ProofWiki Definition:Time/Unit/Decade
History
- 2026-10-26: add by m2/dev
Mieczysław Maneli P5PXWGSAJS
| URI | m2://inv/P5PXWGSAJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mieczysław Maneli, Mieczysław Maneli (topic). Also Wikidata Q531138
History
- 2026-11-02: add by m2/dev
P5PY15CDFS P5PY15CDFS
| URI | m2://inv/P5PY15CDFS |
|---|---|
| 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.02535#X95X (statement). In S26PXDSWM9/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
P5Q2YWQHX9 P5Q2YWQHX9
| URI | m2://inv/P5Q2YWQHX9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#example-6 (example). In RZP28ERRZV, example, section 43.5
History
- 2026-11-01: add by m2/v0.6.13
Spacetime diagram P5Q3WGQ8QD
| URI | m2://inv/P5Q3WGQ8QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacetime diagram, Spacetime diagram (definition). Also Wikidata Q177596
History
- 2026-11-02: add by m2/dev
P5Q8MNH474 P5Q8MNH474
| URI | m2://inv/P5Q8MNH474 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#7AAH (problem). In DW7FVA587C/e1, problem 5.2
History
- 2026-10-27: add by m2/v0.3.5
P5QCBQFX8V P5QCBQFX8V
| URI | m2://inv/P5QCBQFX8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#25K0 (statement). In 3CQJND929F/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
P5QEJ7K9NA P5QEJ7K9NA
| URI | m2://inv/P5QEJ7K9NA |
|---|---|
| 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.24065#T6BS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties of translations P5QMD5JB4M
| URI | m2://inv/P5QMD5JB4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#F7QM, Properties of translations (statement)
History
- 2026-11-02: add by m2/v0.6.18
\texttt{Energy dissipation P5QNF0V2YP
| URI | m2://inv/P5QNF0V2YP |
|---|---|
| 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.06343#0SZS, \texttt{Energy dissipation (statement). In R8176XJ535/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
P5QZ0419AX P5QZ0419AX
| URI | m2://inv/P5QZ0419AX |
|---|---|
| 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 2308.05066#1N7Y (statement). In 1QSCT53ZED/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.0
P5QZ8P6WFM P5QZ8P6WFM
| URI | m2://inv/P5QZ8P6WFM |
|---|---|
| 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.32174#A2E0 (statement). In GHKR740SG3/e1, corollary 7.5
History
- 2026-10-31: add by m2/v0.5.6
P5R0RKTB2N P5R0RKTB2N
| URI | m2://inv/P5R0RKTB2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#FCZS (statement). In X9WFC1D9ZS/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.2
P5R3MRM7FB P5R3MRM7FB
| URI | m2://inv/P5R3MRM7FB |
|---|---|
| Kind | definition |
| 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.20849#V1SW (definition). In HK7FV97MFD/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Determinant-based movement bound P5RSE7DTGC
| URI | m2://inv/P5RSE7DTGC |
|---|---|
| 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.08152#S7LN, Determinant-based movement bound (statement). In T1GYQ6SCCZ/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
Bizeul--Klartag--Lehec , Song--Zhang P5RT8HHJ9V
| URI | m2://inv/P5RT8HHJ9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#IYLW, Bizeul--Klartag--Lehec , Song--Zhang (statement). In MZ60NP20BH/e1, theorem 5.11
History
- 2026-10-27: add by m2/v0.4.0
P5S0VZCFT9 P5S0VZCFT9
| URI | m2://inv/P5S0VZCFT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#example-5 (example). In RZP28ERRZV, example, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
P5S14V47EC P5S14V47EC
| URI | m2://inv/P5S14V47EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.20531#G8LT (statement)
History
- 2026-11-02: add by m2/v0.6.18
P5S1QFGYD3 P5S1QFGYD3
| URI | m2://inv/P5S1QFGYD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#GU4U (statement). In SN6F0MPPVF/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
Nolan Russell Wallach P5S30M3JCM
| URI | m2://inv/P5S30M3JCM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XQQN, Nolan Russell Wallach (unknown)
History
- 2026-11-02: add by m2/dev
Alternative algebra P5S4P14GR0
| URI | m2://inv/P5S4P14GR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#ZOSX, Alternative algebra (definition)
History
- 2026-11-02: add by m2/dev
Stewart's theorem P5S8XSGEM7
| URI | m2://inv/P5S8XSGEM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#XRHT, Stewart's theorem (statement)
History
- 2026-11-02: add by m2/dev
P5SEV9MHTY P5SEV9MHTY
| URI | m2://inv/P5SEV9MHTY |
|---|---|
| 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#GRZ2 (statement). In GW23NX78SB/e1, lemma 3.24
History
- 2026-10-28: add by m2/v0.4.2
Ernest Michael P5SN433EDD
| URI | m2://inv/P5SN433EDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#70YW, Ernest Michael (unknown)
History
- 2026-11-02: add by m2/dev
Properties P5SQQXFMVF
| URI | m2://inv/P5SQQXFMVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berezinian#XGD5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem P5SSHSZWYE
| URI | m2://inv/P5SSHSZWYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann mapping theorem#WG3U, Theorem (statement)
History
- 2026-11-02: add by m2/dev
P5STE1X1K1 P5STE1X1K1
| URI | m2://inv/P5STE1X1K1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#1AGY (statement). In PG6AEWX25E/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Driven harmonic motion P5SXXWW608
| URI | m2://inv/P5SXXWW608 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic oscillator#2FYH, Driven harmonic motion (unknown)
History
- 2026-11-02: add by m2/dev
P5T3P4XZK4 P5T3P4XZK4
| URI | m2://inv/P5T3P4XZK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#C2SX (statement). In D6XA7JXZF3/e1, lemma 4.18
History
- 2026-10-27: add by m2/v0.3.5
Ronald L. Rivest P5T4DABBQ1
| URI | m2://inv/P5T4DABBQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#IF0L, Ronald L. Rivest (unknown)
History
- 2026-11-02: add by m2/dev
partition, dual P5T9P7PJC5
| URI | m2://inv/P5T9P7PJC5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5/partition-dual, partition, dual (concept). In QKM9DD2H56, index, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
The frame centralizer P5TDRJE19T
| URI | m2://inv/P5TDRJE19T |
|---|---|
| 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.20994#IP0A, The frame centralizer (statement). In E90KYMVZMR/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
P5TFPB389J P5TFPB389J
| URI | m2://inv/P5TFPB389J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
Demographics of West Bank P5TFR0QQFN
| URI | m2://inv/P5TFR0QQFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Palestine#TIEZ, Demographics of West Bank (unknown)
History
- 2026-11-02: add by m2/dev
P5TJSDABRQ P5TJSDABRQ
| URI | m2://inv/P5TJSDABRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#7Y09 (statement). In KYW4YMVQAB/e1, corollary 11
History
- 2026-10-28: add by m2/v0.4.2
Schubert P5V27DPJMJ
| URI | m2://inv/P5V27DPJMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#S1AE, Schubert (definition)
History
- 2026-11-02: add by m2/dev
P5VFCDN3MC P5VFCDN3MC
| URI | m2://inv/P5VFCDN3MC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#VBX6 (statement). In 4W1WR4JB89/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.4.2
Ying Wei P5VMGQRQTE
| URI | m2://inv/P5VMGQRQTE |
|---|---|
| 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#RCEM, Ying Wei (unknown)
History
- 2026-11-02: add by m2/dev
Universal covering group P5VPC7YF78
| URI | m2://inv/P5VPC7YF78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering group#CFG1, Universal covering group (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet convolution P5W3J1YTBZ
| URI | m2://inv/P5W3J1YTBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#FJJI, Dirichlet convolution (definition)
History
- 2026-11-02: add by m2/dev
P5W50A2G82 P5W50A2G82
| URI | m2://inv/P5W50A2G82 |
|---|---|
| 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.00113#8ZEW (statement). In R9PP1Y2EP4/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
path, dependent P5W58ZE2QM
| URI | m2://inv/P5W58ZE2QM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/path-dependent, path, dependent (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Boy's surface P5W7YV4DG0
| URI | m2://inv/P5W7YV4DG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#35QC, Boy's surface (definition)
History
- 2026-11-02: add by m2/dev
Fermat's Enigma P5WH04Z3GX
| URI | m2://inv/P5WH04Z3GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#34UB, Fermat's Enigma (statement)
History
- 2026-11-02: add by m2/dev
Uniform block-local Riccati estimates P5WHGSKWBH
| URI | m2://inv/P5WHGSKWBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#4PT9, Uniform block-local Riccati estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
P5WRK8FND1 P5WRK8FND1
| URI | m2://inv/P5WRK8FND1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#VMT0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Which groups P5WVQ82JM4
| URI | m2://inv/P5WVQ82JM4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#QV2U, Which groups (example). In KR7WXN4EWR/e1, example 9.7
History
- 2026-10-29: add by m2/v0.4.12
Mollifier sequence P5X5AH563K
| URI | m2://inv/P5X5AH563K |
|---|---|
| Kind | definition |
| 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 2508.18436#UMPV, Mollifier sequence (definition). In 6W19Z58188/e1, definition 7.4
History
- 2026-10-27: add by m2/v0.3.6
Gray graph P5XC71HENW
| URI | m2://inv/P5XC71HENW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115492, Gray graph (unknown). Also House of Graphs 1120, MathWorld GrayGraph
- wikipedia: Wikipedia Gray graph, Gray graph (definition). Also Wikidata Q3115492
History
- 2026-10-26: add by m2/dev
P5XD719MWR P5XD719MWR
| URI | m2://inv/P5XD719MWR |
|---|---|
| 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.14615#UI5C (statement). In 7D5MMP8XB5/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
P5XG07VT0B P5XG07VT0B
| URI | m2://inv/P5XG07VT0B |
|---|---|
| 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 2211.14214#564I (statement). In SY85Y9E45A/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.5
P5XJNTCYAJ P5XJNTCYAJ
| URI | m2://inv/P5XJNTCYAJ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Moufang's theorem P5YJCH8ZNW
| URI | m2://inv/P5YJCH8ZNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W8P0, Moufang's theorem (definition)
History
- 2026-11-02: add by m2/dev
Charlier polynomials P5YMDXJC1K
| URI | m2://inv/P5YMDXJC1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#82SL, Charlier polynomials (definition)
History
- 2026-11-02: add by m2/dev
semi-abelian P5YN10FXW6
| URI | m2://inv/P5YN10FXW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#FYVS, semi-abelian (definition)
History
- 2026-11-02: add by m2/dev
P5YQ6MNTVY P5YQ6MNTVY
| URI | m2://inv/P5YQ6MNTVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#thm:sqrt2 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
$H^\infty$ logarithmic cascades P5YTKDCD2T
| URI | m2://inv/P5YTKDCD2T |
|---|---|
| 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.27813#X6FE, $H^\infty$ logarithmic cascades (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cohn's theorem P5YW2KFMFE
| URI | m2://inv/P5YW2KFMFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohn's theorem, Cohn's theorem (statement). Also Wikidata Q55607862
History
- 2026-11-02: add by m2/dev
Implementations P5YX0CRAK6
| URI | m2://inv/P5YX0CRAK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCJR algorithm#SSW9, Implementations (definition)
History
- 2026-11-02: add by m2/dev
P5Z5557NXX P5Z5557NXX
| URI | m2://inv/P5Z5557NXX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.01642#H6MO (example). In CD9T8ZFES1/e1, example 2.4.1
History
- 2026-10-27: add by m2/v0.3.6
Multidimensional systems P5Z7PJQJVH
| URI | m2://inv/P5Z7PJQJVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#N4TU, Multidimensional systems (definition)
History
- 2026-11-02: add by m2/dev
Laplace transform P5ZB1JKQQ3
| URI | m2://inv/P5ZB1JKQQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 44A10 |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Laplace transform 05XT5AVJBK |
Mentions
- wikidata: Wikidata Q199691, Laplace transform (topic). Also EoM Laplace_transform, MathWorld LaplaceTransform, nLab Laplace transform
- wikipedia: Wikipedia Laplace transform, Laplace transform (definition). Also Wikidata Q199691
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
P5ZDZHZHTD P5ZDZHZHTD
| URI | m2://inv/P5ZDZHZHTD |
|---|---|
| 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 2603.23072#81H1 (statement). In FW08HEAPKW/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
P5ZE8J26T0 P5ZE8J26T0
| URI | m2://inv/P5ZE8J26T0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#INQA (example). In E4DJTPKHAX/e1, example 4.9
History
- 2026-10-27: add by m2/v0.4.2
P5ZEF6Q36Z P5ZEF6Q36Z
| URI | m2://inv/P5ZEF6Q36Z |
|---|---|
| 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 2412.14956#WL1B (statement). In T8BQ6HHZYT/e1, proposition 6.23
History
- 2026-10-27: add by m2/v0.3.5
Bounds on the critical value and amplitude P5ZGJ2ANK8
| URI | m2://inv/P5ZGJ2ANK8 |
|---|---|
| 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 1905.02785#I6JC, Bounds on the critical value and amplitude (statement). In PF9KV74Q02/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Three Forks, Wyoming P5ZXECY6BH
| URI | m2://inv/P5ZXECY6BH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N2OW, Three Forks, Wyoming (unknown)
History
- 2026-11-02: add by m2/dev