barvinok swMATH ID: 4868 Software Authors: Verdoolaege S; inria Description: 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. Homepage: http://barvinok.gforge.inria.fr/ Dependencies: isl Related Software: LattE; polymake; cdd; isl; TOPCOM; lrs; Normaliz; CGAL; 4ti2; Matlab; Minksum; PolyLib; PPL; PORTA; Gfan; azove; CPLEX; SageMath; gmp; Gurobi Cited in: 12 Publications all top 5 Cited by 28 Authors 3 Beck, Matthias 1 Assarf, Benjamin 1 Bianconi, Francesco 1 Bielecki, Włodzimierz 1 Breuer, Felix 1 Craciun, Gheorghe 1 Fernández Álvarez, Antonio 1 Fu, Norie 1 Fukuda, Komei 1 Gawrilow, Ewgenij 1 Goodman, Jacob Eli 1 Haase, Christian Alexander 1 Herr, Katrin 1 Hubler, Shane L. 1 Joswig, Michael 1 Kurz, Sascha 1 Lorenz, Benjamin 1 O’Rourke, Joseph 1 Paffenholz, Andreas 1 Palkowski, Marek 1 Rehn, Thomas 1 Robins, Sinai 1 Shibuta, Takafumi 1 Sottile, Frank 1 Tautenhahn, Nikolas 1 Tóth, Csaba D. 1 van Herick, Andrew 1 Zafeirakopoulos, Zafeirakis all top 5 Cited in 10 Serials 1 Mathematics of Computation 1 The Mathematical Intelligencer 1 International Journal of Game Theory 1 Journal of Mathematical Imaging and Vision 1 Journal of Mathematical Chemistry 1 Annals of Combinatorics 1 International Journal of Applied Mathematics and Computer Science 1 Mathematical Programming Computation 1 Undergraduate Texts in Mathematics 1 Discrete Mathematics and its Applications all top 5 Cited in 10 Fields 5 Combinatorics (05-XX) 5 Convex and discrete geometry (52-XX) 5 Computer science (68-XX) 3 Number theory (11-XX) 3 Operations research, mathematical programming (90-XX) 2 Numerical analysis (65-XX) 1 Geometry (51-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year