Improved projection for cylindrical algebraic decomposition (Q5950980)

From MaRDI portal
scientific article; zbMATH DE number 1684927
Language Label Description Also known as
English
Improved projection for cylindrical algebraic decomposition
scientific article; zbMATH DE number 1684927

    Statements

    Identifiers