Counting integer points in parametric polytopes using Barvinok's rational functions
From MaRDI portal
Publication:996707
DOI10.1007/s00453-006-1231-0zbMath1123.68023OpenAlexW2147543317MaRDI QIDQ996707
Maurice Bruynooghe, Rachid Seghir, Sven Verdoolaege, Kristof Beyls, Vincent Loechner
Publication date: 19 July 2007
Published in: Algorithmica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00453-006-1231-0
Exact enumeration problems, generating functions (05A15) Integer programming (90C10) Theory of compilers and interpreters (68N20)
Related Items (19)
Polyhedral omega: a new algorithm for solving linear Diophantine systems ⋮ On the pseudo-periodicity of the integer hull of parametric convex polygons ⋮ Polynomial Time Reachability Analysis in Discrete State Chemical Reaction Networks Obeying Conservation Laws ⋮ The Relation Between Diamond Tiling and Hexagonal Tiling ⋮ Short Presburger Arithmetic Is Hard ⋮ On lattice point counting in \(\varDelta\)-modular polyhedra ⋮ Computation of dilated Kronecker coefficients ⋮ Three Ehrhart quasi-polynomials ⋮ On Ehrhart polynomials and probability calculations in voting theory ⋮ Eigenvalue distributions of reduced density matrices ⋮ Precise quantitative information flow analysis -- a symbolic approach ⋮ Enumerating Projections of Integer Points in Unbounded Polyhedra ⋮ Plethysm and lattice point counting ⋮ Counting with rational generating functions ⋮ INTERMEDIATE SUMS ON POLYHEDRA II: BIDEGREE AND POISSON FORMULA ⋮ Rapid Mixing and Markov Bases ⋮ Reachability analysis of low-order discrete state reaction networks obeying conservation laws ⋮ COUNTING NUMERICAL SEMIGROUPS WITH SHORT GENERATING FUNCTIONS ⋮ Computing the integer hull of convex polyhedral sets
Uses Software
This page was built for publication: Counting integer points in parametric polytopes using Barvinok's rational functions