Normaliz: Entwicklung und langfristige Perspektive

• Antragsteller: Professor Dr. Winfried Bruns
• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2020 bis 2021
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 440345850

Zusammenfassung der Projektergebnisse

In addition to numerous improvements of the existing implementation, Several goals in the development of Normaliz could be reached within the duration of the project or brought forward considerably: new arithmetic for algebraic polytopes by e-antic 1.0, new algorithms for polytope volumes with applications to social choice, Gröbner and Graver bases, a first application of distributed computation. An important point is the improvement of the build and test infrastructure.

Projektbezogene Publikationen (Auswahl)

• Algebraic polytopes in Normaliz. In: A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig and T. de Wolff (Eds.), Mathematical Software – ICMS 2020, LNCS 12097, Springer 2020, pp. 193–201
  W. Bruns
  
• Automorphism groups and normal forms in Normaliz. Preprint
  W. Bruns
  
• Computations of volumes in five candidates elections. Preprint
  W. Bruns and B. Ichim
  
• Polytope volume by descent in the face lattice and applications in social choice. Math. Program. Comput. 13 (2021), 415–442
  W. Bruns and B. Ichim