The Verified Polyhedron Library: an overview - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

The Verified Polyhedron Library: an overview

Sylvain Boulmé
  • Function : Author
Alexandre Maréchal
  • Function : Author
  • PersonId : 962757
David Monniaux
Michaël Périn
  • Function : Author
Hang Yu
  • Function : Author
  • PersonId : 1045509


The Verified Polyhedra Library operates upon a constraint-only representation of convex polyhedra and provides all common operations (image, pre-image, projection, convex hull, widening, inclusion and equality tests.. .). Optionally, the soundness of the results is checked by a layer certified in Coq.
Fichier principal
Vignette du fichier
VPL_SYNASC_2018_article.pdf (394.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02100006 , version 1 (15-04-2019)


  • HAL Id : hal-02100006 , version 1


Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu. The Verified Polyhedron Library: an overview. 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Universitatea de Vest din Timișoara, Sep 2018, Timișoara, Romania. pp.9-17. ⟨hal-02100006⟩
174 View
462 Download


Gmail Facebook Twitter LinkedIn More