Effective Whitney Stratification of Real Algebraic Varieties

Martin Helmer, Anton Leykin, Vidit Nanda

We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification o…