Automated Deduction in Geometry

About this book

The notion of normal crossing is ubiquitous in singularity theory and it has a prominent role in the problem of resolution of singularities (see e.g. [1] for the foundations of the classical theory, or [2] for a more recent survey on the field) and in constructing alterations (see e.g. [3]).