The Verified Polyhedron Library: an overview - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

The Verified Polyhedron Library: an overview

Sylvain Boulmé
  • Fonction : Auteur
VERIMAG
Alexandre Maréchal
  • Fonction : Auteur
  • PersonId : 962757
VERIMAG
David Monniaux
VERIMAG
CV
Michaël Périn
  • Fonction : Auteur
VERIMAG
Hang Yu
  • Fonction : Auteur
  • PersonId : 1045509
VERIMAG

Résumé

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.

Domaines

Géométrie algorithmique [cs.CG] Langage de programmation [cs.PL] Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
VPL_SYNASC_2018_article.pdf (394.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

David Monniaux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02100006

Soumis le : lundi 15 avril 2019-14:41:26

Dernière modification le : mercredi 30 octobre 2024-19:42:04

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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, ⟨10.1109/SYNASC.2018.00014⟩. ⟨hal-02100006⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG ANR
247 Consultations
594 Téléchargements

Altmetric

Partager

More