Certifying algorithms (Q465678)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Certifying algorithms
scientific article

    Statements

    title
    Certifying algorithms (English)
    0 references
    author
    Kurt Mehlhorn
    0 references
    Ross M. McConnell
    0 references
    Stefan Näher
    0 references
    Pascal Schweitzer
    0 references
    publication date
    24 October 2014
    0 references
    zbMATH Keywords
    certifying algorithms
    0 references
    software reliability
    0 references
    certification
    0 references
    describes a project that uses
    SoPlex
    0 references
    ACL2
    0 references
    Isabelle
    0 references
    CPLEX
    0 references
    Concorde
    0 references
    CGAL
    0 references
    LEDA
    0 references
    VCC
    0 references
    Hull
    0 references
    cites work
    Q5584402
    0 references
    Q5302559
    0 references
    Q4702188
    0 references
    Q5596083
    0 references
    Q4472293
    0 references
    Q4471306
    0 references
    Q4401025
    0 references
    Q4079613
    0 references
    Q2763627
    0 references
    Q3818127
    0 references
    Q4036709
    0 references
    Q4371290
    0 references
    Q3677509
    0 references
    Q3992847
    0 references
    Q4335189
    0 references
    Q3425132
    0 references
    Q3328583
    0 references
    Q5503435
    0 references
    Q4411363
    0 references
    Q5501338
    0 references
    Q4145647
    0 references
    Q4252400
    0 references
    Q3129921
    0 references

    Identifiers

    zbMATH DE Number
    6360997
    0 references
    OpenAlex ID
    W55887128
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q465678&oldid=35418250"
    Powered by MediaWiki