The complexity of stratification computation

From MaRDI portal





The paper studies the complexity of an algorithm that stratifies semialgebraic sets. It gives a general theorem on the complexity of an algorithm which constructs a stratification for a wide class of conditions, called here admissible. The algorithm is doubly exponential in the depth of the stratification. Usual conditions of regularity like Whitney conditions (a) and (b) or Bekka condition (C) are admissible.











This page was built for publication: The complexity of stratification computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380787)