Formalization of Shannon's theorems (Q2352494)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalization of Shannon's theorems
scientific article

    Statements

    Formalization of Shannon's theorems (English)
    0 references
    0 references
    0 references
    0 references
    2 July 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    information theory
    0 references
    Shannon's theorems
    0 references
    noisy-channel coding theorem
    0 references
    Coq
    0 references
    SSReflect
    0 references
    0 references
    0 references
    0 references
    0 references