Approximate quantified constraint solving by cylindrical box decomposition (Q1604710)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Approximate quantified constraint solving by cylindrical box decomposition
scientific article

    Statements

    Approximate quantified constraint solving by cylindrical box decomposition (English)
    0 references
    0 references
    8 July 2002
    0 references
    interval methods
    0 references
    computer algebra
    0 references
    first-order formula
    0 references
    approximation method
    0 references
    interval arithmetic
    0 references
    cylindrical decomposition
    0 references
    0 references
    0 references

    Identifiers