| Given: | * K = Q, respectively an algebraic extension of Q ; |
| * V(J) a reduced (singular) variety in Kd. | |
| Goal: | Compute an embedded resolution of V(J) in Kd. |
- 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). |