In this document we present the desing package, a Maple program for embedded desingularization of subschemes of smooth varieties over fields of zero characteristic. We give the specifications of the provided procedures and the used data structures, together with the special features of the package. The program comes in precompiled form with the full source code available under the GNU GPL. The newest version with online documentation is available at the desing home page.

References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Batkhin, A.B.: Parameterization of the discriminant set of a polynomial (2016)
  2. Batkhin, A.B.; Bruno, A.D.: Investigation of a real algebraic surface (2015)
  3. Frühbis-Krüger, Anne: A modified coefficient ideal for use with the strict transform (2011)
  4. Beck, Tobias: Formal desingularization of surfaces: The Jung method revisited (2009)
  5. Hauser, Herwig: Desingularization of ideals and varieties (2007)
  6. Villamayor U., Orlando: Hypersurface singularities in positive characteristic (2007)
  7. Hauser, Herwig: Seven short stories on blowups and resolutions (2006)
  8. Bravo, Ana María; Encinas, Santiago; Villamayor U., Orlando: A simplified proof of desingularization and applications (2005)
  9. Frühbis-Krüger, Anne; Pfister, Gerhard: Some applications of resolution of singularities from the practical point of view (2005)
  10. Hales, Thomas C.: Orbital integrals are motivic (2005)
  11. Villamayor, Orlando: Differential operators on smooth schemes and embedded singularities (2005)
  12. Villamayor U., Orlando: On constructive desingularization (2005)
  13. Bodnár, Gábor: Algorithmic tests for the normal crossing property (2004)
  14. Kiyek, K.; Vicente, J. L.: Resolution of curve and surface singularities in characteristic zero. (2004)
  15. Bravo, A.; Villamayor U., O.: A strengthening of resolution of singularities in characteristic zero. (2003)
  16. Encinas, Santiago; Villamayor, Orlando: A new proof of desingularization over fields of characteristic zero (2003)
  17. Encinas, S.; Nobile, A.; Villamayor U., O.: On algorithmic equi-resolution and stratification of Hilbert schemes (2003)
  18. Hauser, Herwig: The Hironaka theorem on resolution of singularities (or: A proof we always wanted to understand) (2003)
  19. Bodnár, Gábor; Schicho, Josef: Two computational techniques for singularity resolution (2001)
  20. Bodnár, Gábor; Schicho, Josef: A computer program for the resolution of singularities (2000)

1 2 next