On delineability of varieties in CAD-based quantifier elimination with two equational constraints (Q2883802)

From MaRDI portal





scientific article; zbMATH DE number 6034122
Language Label Description Also known as
default for all languages
No label defined
    English
    On delineability of varieties in CAD-based quantifier elimination with two equational constraints
    scientific article; zbMATH DE number 6034122

      Statements

      On delineability of varieties in CAD-based quantifier elimination with two equational constraints (English)
      0 references
      0 references
      0 references
      13 May 2012
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references