Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition (Q1290082)

From MaRDI portal
Revision as of 10:10, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
scientific article

    Statements

    Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition (English)
    0 references
    8 August 2000
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references