Certified Roundoff Error Bounds Using Semidefinite Programming (Q3133585): Difference between revisions

From MaRDI portal
← Older editNewer edit →
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2227234579 / rank
 
Normal rank

Revision as of 20:40, 19 March 2024

scientific article
Language Label Description Also known as
English
Certified Roundoff Error Bounds Using Semidefinite Programming
scientific article

    Statements

    title
    Certified Roundoff Error Bounds Using Semidefinite Programming (English)
    0 references
    publication date
    5 February 2018
    0 references
    zbMATH Keywords
    correlation sparsity pattern
    0 references
    floating-point arithmetic
    0 references
    formal verification
    0 references
    polynomial optimization
    0 references
    proof assistant
    0 references
    roundoff error
    0 references
    semidefinite programming
    0 references
    transcendental functions
    0 references
    describes a project that uses
    Apron
    0 references
    SDPA
    0 references
    z3
    0 references
    Flocq
    0 references
    Coq
    0 references
    SMT-LIB
    0 references
    Mosek
    0 references
    Maxima
    0 references
    OCaml
    0 references
    HOL Light
    0 references
    dReal
    0 references
    NLCertify
    0 references

    Identifiers

    DOI
    10.1145/3015465
    0 references
    zbMATH DE Number
    6834137
    0 references
    OpenAlex ID
    W2227234579
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3133585&oldid=31804313"
    Powered by MediaWiki