|  |  D.5.8 resolve_lib 
Library:
resolve.lib
Purpose:
      Resolution of singularities (Desingularization)
                           Algorithm of Villamayor
Authors:
A. Fruehbis-Krueger, anne@mathematik.uni-kl.de,
G. Pfister, pfister@mathematik.uni-kl.de
 
References:
[1] J.Kollar: Lectures on Resolution of Singularities, Princeton University Press (2007)(contains large overview over various known methods for curves and surfaces as well as
 a detailed description of the approach in the general case)
 [2] A.Bravo, S.Encinas, O.Villamayor: A Simplified Proof of Desingularisation and
 Applications, Rev. Math. Iberoamericana 21 (2005), 349-458
 (description of the algorithmic proof of desingularization in characteristic zero
which underlies this implementation)
 [3] A.Fruehbis-Krueger: Computational Aspects of Singularities, in J.-P. Brasselet,
J.Damon et al.: Singularities in Geometry and Topology, World Scientific
Publishing, 253--327 (2007)
 (chapter 4 contains a detailed discussion on algorithmic desingularization and
efficiency aspects thereof)
 
 
Procedures:
 
 |