No label defined (Q4234321)

From MaRDI portal
scientific article; zbMATH DE number 1263423
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1263423

    Statements

    16 March 1999
    0 references
    0 references
    0 references
    0 references
    0 references
    quantifier elimination method
    0 references
    polynomial inequalities
    0 references
    virtual substitution of parametrized test points
    0 references