Formally proving size optimality of sorting networks (Q1694569)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formally proving size optimality of sorting networks
scientific article

    Statements

    Formally proving size optimality of sorting networks (English)
    0 references
    0 references
    0 references
    0 references
    2 February 2018
    0 references
    interactive theorem proving
    0 references
    large-scale proofs
    0 references
    program extraction
    0 references
    sorting networks
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references