Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase (Q2904452)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase
scientific article

    Statements

    Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase (English)
    0 references
    0 references
    0 references
    14 August 2012
    0 references

    Identifiers