The following pages link to Automated Deduction in Geometry (Q5902020):
Displayed 4 items.
- Towards transversality of singular varieties: splayed divisors (Q374580) (← links)
- Étale neighbourhoods and the normal crossings locus (Q533115) (← links)
- Characterizing normal crossing hypersurfaces (Q2339334) (← links)
- The Hironaka theorem on resolution of singularities (Or: A proof we always wanted to understand) (Q4708794) (← links)