On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination (Q1185458)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
scientific article

    Statements

    On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination (English)
    0 references
    0 references
    28 June 1992
    0 references
    complexity analysis
    0 references
    decision method
    0 references
    quantifier elimination
    0 references
    first order theory of the reals
    0 references
    parallel computation
    0 references
    bit model of computation
    0 references
    real number model of computation
    0 references

    Identifiers

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