Resolution
Global GMS
ES Strata
Build. Blocks
Comb. Appl.
HCA Proving
Arrangements
Branches
Classify
Coding
Deformations
Equidim Part
Existence
Finite Groups
Flatness
Genus
Hilbert Series
Membership
Nonnormal Locus
Normalization
Primdec
Puiseux
Plane Curves
Saturation
Solving
Space Curves
Spectrum
Resolution of Singularities
Given:
* K =
Q
, respectively an algebraic extension of
Q
;
* V(J) a reduced (singular) variety in K
^{d}
.
Goal:
Compute an
embedded resolution
of V(J) in K
^{d}
.
Theoretical
Background
Existing
Implementations of Algorithms
General Method:
*
composing sequence of
blowing-ups along well-chosen (smooth) centers
;
*
choice of centers determined by local invariants (such that center contains the
"most singular"
points of the variety).
KL, 06/03
http://www.singular.uni-kl.de