Thirty Years of Virtual Substitution (Q5120170)

From MaRDI portal
scientific article; zbMATH DE number 7245492
Language Label Description Also known as
English
Thirty Years of Virtual Substitution
scientific article; zbMATH DE number 7245492

    Statements

    Thirty Years of Virtual Substitution (English)
    0 references
    0 references
    9 September 2020
    0 references
    real quantifier elimination
    0 references
    virtual substitution
    0 references
    0 references
    0 references

    Identifiers