Effective Whitney Stratification of Real Algebraic Varieties
From MaRDI portal
Publication:6443347
arXiv2307.05427MaRDI QIDQ6443347FDOQ6443347
Authors: Martin Helmer, Vidit Nanda 
Publication date: 11 July 2023
Abstract: We describe an algorithm to compute Whitney stratifications of real algebraic varieties. The basic idea is to first stratify the complexified version of the given real variety using conormal techniques, and then to show that the resulting stratifications admit a description using only real polynomials. This method also extends to stratification problems involving certain basic semialgebraic sets as well as certain algebraic maps. One of the map stratification algorithms described here yields a new method for solving the real root classification problem.
This page was built for publication: Effective Whitney Stratification of Real Algebraic Varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6443347)
