On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010)

From MaRDI portal
Revision as of 09:17, 4 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
scientific article

    Statements

    title
    On the Generation of Positivstellensatz Witnesses in Degenerate Cases (English)
    0 references
    author
    David Monniaux
    0 references
    Pierre Corbineau
    0 references
    publication date
    17 August 2011
    0 references
    describes a project that uses
    DSDP5
    0 references
    Coq
    0 references
    RAGlib
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    03C10
    0 references
    12D15
    0 references
    zbMATH DE Number
    5940072
    0 references
    OpenAlex ID
    W1501825542
    0 references
    arXiv ID
    1105.4421
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3088010&oldid=35242909"
    Powered by MediaWiki