Normaliz 2013--2016

DOI10.1007/978-3-319-70566-8_5MaRDI QIDQ4556568zbMATH OpenOpenAlexFDO

Authors Winfried Bruns, Richard Sieg, Christof Söger

Publication date 16 November 2018

Published in Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1611.07965

zbMATH Keywords

bottom decompositionclass groupHilbert basisHilbert serieslinear Diophantine systemrational conerational polyhedrontriangulation

Mathematics Subject Classification ID

History of mathematics in the 21st century (01A61) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) History of convex and discrete geometry (52-03) Software, source code, etc. for problems pertaining to convex and discrete geometry (52-04) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Voting theory (91B12)

Abstract: In this article we describe mathematically relevant extensions to Normaliz that were added to it during the support by the DFG SPP "Algorithmische und Experimentelle Methoden in Algebra, Geometrie und Zahlentheorie": nonpointed cones, rational polyhedra, homogeneous systems of parameters, bottom decomposition, class groups and systems of module generators of integral closures.

Recommendations

• Normaliz: Algorithms for affine monoids and rational cones
• Recent Developments in Normaliz
• Automorphism groups and normal forms in Normaliz
• Algebraic polytopes in Normaliz
• Introduction to Normaliz 2.5

Cites work

• Challenging computations of Hilbert bases of cones associated with algebraic statistics
• Computing convex hulls and counting integer points with \texttt{polymake}
• Exploiting polyhedral symmetries in social choice
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 1797658 (Why is no real title available?)
• Integration of libnormaliz in CoCoALib and CoCoA 5
• Normaliz: Algorithms for affine monoids and rational cones
• Polymake and Lattice Polytopes
• Polytopes, Rings, and K-Theory
• SCIP: solving constraint integer programs
• The computation of generalized Ehrhart series in normaliz
• The power of pyramid decomposition in Normaliz
• The subdivision of large simplicial cones in Normaliz

Cited in

(8)

• Normaliz
• Automorphism groups and normal forms in Normaliz
• Computations of volumes and Ehrhart series in four candidates elections
• scientific article; zbMATH DE number 1797658 (Why is no real title available?)
• Algebraic polytopes in Normaliz
• From Gehrlein-Fishburn’s Method on Frequency Representation to a Direct Proof of Ehrhart’s extended Conjecture
• Normaliz: Algorithms for affine monoids and rational cones
• Polytope volume by descent in the face lattice and applications in social choice

Describes a project that uses

Uses Software

• CoCoA
• CoCoALib
• Macaulay2
• polymake
• SINGULAR
• SCIP
• Regina
• SecDec
• libnormaliz
• Help
• NormalizInterface
• HASE
• cutgeneratingfunctionology
• GitHub

This page was built for publication: Normaliz 2013--2016

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4556568)