
D.5.5 resolve_lib
 Library:
 resolve.lib
 Purpose:
 Resolution of singularities (Desingularization)
Algorithm of Villamayor
 Authors:
 A. FruehbisKrueger, anne@mathematik.unikl.de,
G. Pfister, pfister@mathematik.unikl.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), 349458
(description of the algorithmic proof of desingularization in characteristic zero
which underlies this implementation)
[3] A.FruehbisKrueger: Computational Aspects of Singularities, in J.P. Brasselet,
J.Damon et al.: Singularities in Geometry and Topology, World Scientific
Publishing, 253327 (2007)
(chapter 4 contains a detailed discussion on algorithmic desingularization and
efficiency aspects thereof)
Procedures:
