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
Nonlinear Craig interpolant generation - MaRDI portal

Nonlinear Craig interpolant generation (Q2225119)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nonlinear Craig interpolant generation
scientific article

    Statements

    title
    Nonlinear Craig interpolant generation (English)
    0 references
    author
    Ting Gan
    0 references
    Bican Xia
    0 references
    Bai Xue
    0 references
    Naijun Zhan
    0 references
    Liyun Dai
    0 references
    publication date
    4 February 2021
    0 references
    zbMATH Keywords
    Craig interpolant
    0 references
    Archimedean condition
    0 references
    semidefinite programming
    0 references
    program verification
    0 references
    sum of squares
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B70
    0 references
    03C40
    0 references
    68N30
    0 references
    90C22
    0 references
    zbMATH DE Number
    7306421
    0 references
    OpenAlex ID
    W3046796804
    0 references
    arXiv ID
    1903.01297
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2225119&oldid=33479179"
    Powered by MediaWiki