UC Davis Mathematics

Mathematics Colloquia and Seminars

Return to Colloquia & Seminar listing

Normaliz: algorithms for rational cones and affine monoids

Algebra & Discrete Mathematics

Speaker: Winfried Bruns, Universitaet Osnabrueck
Location: 1147 MSB
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.