Normaliz: algorithms for rational cones and affine monoidsAlgebra & Discrete Mathematics
|Speaker:||Winfried Bruns, Universitaet Osnabrueck|
|Start time:||Mon, Sep 20 2010, 2:10PM|
The software package Normaliz computes Hilbert bases of rational cones and performs several related tasks. It has been developed in the last 10 years by the speaker in cooperation with R. Koch (until 2002), B. Ichim (since 2007) and C. Soger (since 2009). Several other mathematicians have contributed to it. Normaliz has interfaces to Singular, Macaulay 2 and polymake. Normaliz combines several algorithms: Fourier-Motzkin elimination, computation of lexicographic triangulations and line shellings, lattice operations and reduction in normal monoids. We will explain the basic principles and discuss the performance and the limitations of the program.