Software package barvinok. barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes. For parametric polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed. This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. Alternatively, a generalized Ehrhart series can be constructed as well. The library includes isl and PolyLib and uses NTL.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Kurz, Sascha; Tautenhahn, Nikolas: On Dedekind’s problem for complete simple games (2013)
- Beck, Matthias; van Herick, Andrew: Enumeration of $4 \times 4$ magic squares (2011)
- Beck, Matthias; Haase, Christian; Sottile, Frank: $\lower .95ex \hbox$\rightarrow$ \mskip-23mu \nearrow + \nwarrow \mskip-23mu \lower .95ex \hbox$\leftarrow$ + \swarrow \mskip-2mu \searrow = \hbox$\diagup\mskip-1mu\diagdown$ \lower.48ex\hbox$\mskip-31mu\hboxto 5.85mm\strut\hrulefill\strut$$ --- Formulas of Brion, Lawrence, and Varchenko on rational generating functions for cones$$ (2009)
- Beck, Matthias; Robins, Sinai: Computing the continuous discretely. Integer-point enumeration in polyhedra (2007)