Seminars

The envelope of a family of real, rational hypersurfaces is defined by
an implicit equation in the parameter space. This equation can be
decomposed into factors that are mapped to varieties of different
dimension. The factorization can be found using solely gcd computations.
After an introduction to the problem of envelope computation, we will
use the decomposition to derive some general results about envelopes,
which also contribute to the analysis of self-intersections.