The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension. It was first developed by Doran Wilde at IRISA, in Rennes, France, in connection with the ALPHA project. This first version (1.1) manipulates non parameterized unions of polyhedra through the following operations: intersection, difference, union, convex hull, simplify, image and preimage, plus some input and output functions. The polyhedra are computed in their dual implicit and Minkowski representations, in homogeneous spaces. Version 2 of the PolyLib included parameterized vertices computation. PolyLib3.14 includes Ehrhart polynomials computation, which permits to count the number of integer points contained in a parameterized polyhedron. PolyLib4 included the GNU MP library (as a compilation option), and 64 bits computations, in order to avoid integer overflows. Polylib5 is a merge of Strasbourg, Rennes and BYU Polylib.

References in zbMATH (referenced in 37 articles )

Showing results 1 to 20 of 37.
Sorted by year (citations)

1 2 next

  1. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco: Solving strong controllability of temporal problems with uncertainty using SMT (2015)
  2. Roux, Alet; Zastawniak, Tomasz: Linear vector optimization and European option pricing under proportional transaction costs (2015)
  3. Feller, Christian; Johansen, Tor Arne; Olaru, Sorin: An improved algorithm for combinatorial multi-parametric quadratic programming (2013)
  4. Le Chenadec, Vincent; Pitsch, Heinz: A 3D unsplit forward/backward volume-of-fluid approach and coupling to the level set method (2013)
  5. Diss, Mostapha; Louichi, Ahmed; Merlin, Vincent; Smaoui, Hatem: An example of probability computations under the IAC assumption: the stability of scoring rules (2012)
  6. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: A complexity perspective on entailment of parameterized linear constraints (2012)
  7. Motallebi, Hassan; Azgomi, Mohammad Abdollahi: Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (2012)
  8. Beck, Matthias; van Herick, Andrew: Enumeration of $4 \times 4$ magic squares (2011)
  9. Simon, Axel; King, Andy: The two variable per inequality abstract domain (2010)
  10. Verdoolaege, Sven: isl: An integer set library for the polyhedral model (2010)
  11. Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea: Applications of polyhedral computations to the analysis and verification of hardware and software systems (2009)
  12. Chen, Liangyu; Zeng, Zhenbing: Which symmetric homogeneous polynomials can be proved positive semi-definite by difference substitution method? (2008)
  13. Lepelley, Dominique; Louichi, Ahmed; Smaoui, Hatem: On Ehrhart polynomials and probability calculations in voting theory (2008)
  14. Olaru, Sorin; Dumur, Didier; Thomas, Jean; Zainea, Marius: Predictive control for hybrid systems. Implications of polyhedral pre-computations (2008)
  15. Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea: Grids: a domain for analyzing the distribution of numerical values (2007)
  16. Verdoolaege, Sven; Seghir, Rachid; Beyls, Kristof; Loechner, Vincent; Bruynooghe, Maurice: Counting integer points in parametric polytopes using Barvinok’s rational functions (2007)
  17. Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea: Widening operators for powerset domains (2006)
  18. Halbwachs, N.; Merchat, D.; Gonnord, L.: Some ways to reduce the space dimension in polyhedra computations (2006)
  19. Lefebvre, Marie-Anne; Guéguen, Hervé: Hybrid abstractions of affine systems (2006)
  20. Roszak, Bartek; Broucke, Mireille E.: Necessary and sufficient conditions for reachability on a simplex (2006)

1 2 next