Simulation and optimization by quantifier elimination (Q1368693)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simulation and optimization by quantifier elimination
scientific article

    Statements

    Simulation and optimization by quantifier elimination (English)
    0 references
    29 September 1997
    0 references
    0 references
    0 references
    0 references
    0 references
    elimination of linear variables from a Boolean combination of polynomial equations and inequalities
    0 references
    elimination tree
    0 references
    simulation of large technical networks
    0 references
    parametric linear programming
    0 references
    non-convex case
    0 references
    0 references