scientific article; zbMATH DE number 3629097
From MaRDI portal
Publication:4190736
zbMath0405.14001MaRDI QIDQ4190736
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Relevant commutative algebra (14A05) Stratifications in topological manifolds (57N80)
Related Items
A bibliography of quantifier elimination for real closed fields ⋮ An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space ⋮ A cluster-based cylindrical algebraic decomposition algorithm ⋮ CAD and topology of semi-algebraic sets
