Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formalization of Bernstein polynomials and applications to global optimization - MaRDI portal

Formalization of Bernstein polynomials and applications to global optimization (Q2351165)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalization of Bernstein polynomials and applications to global optimization
scientific article

    Statements

    title
    Formalization of Bernstein polynomials and applications to global optimization (English)
    0 references
    author
    César A. Muñoz
    0 references
    Anthony Narkawicz
    0 references
    publication date
    23 June 2015
    0 references
    zbMATH Keywords
    formal verification
    0 references
    non-linear arithmetic
    0 references
    global optimization
    0 references
    Bernstein polynomials
    0 references
    interactive theorem proving
    0 references
    describes a project that uses
    ACL2
    0 references
    MetiTarski
    0 references
    Coq
    0 references
    RealPaver
    0 references
    Gappa
    0 references
    PVS
    0 references
    Manip
    0 references
    cites work
    Q3801998
    0 references
    Algorithm 852
    0 references
    Q3732843
    0 references
    Q4851610
    0 references
    Q3840971
    0 references
    Q5807665
    0 references
    Q4274348
    0 references

    Identifiers

    zbMATH DE Number
    6449035
    0 references
    OpenAlex ID
    W1993722858
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2351165&oldid=35731098"
    Powered by MediaWiki