Computing over convex polyhedra using VPL - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Computing over convex polyhedra using VPL

Domaines

Géométrie algorithmique [cs.CG] Logique en informatique [cs.LO] Langage de programmation [cs.PL]
Monniaux_SNR_2020.pdf (536.03 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-04750244

Soumis le : lundi 28 octobre 2024-10:43:26

Dernière modification le : jeudi 12 décembre 2024-03:32:06

Télécharger pour visualiser

Dates et versions

hal-04750244 , version 1 (28-10-2024)

Identifiants

  • HAL Id : hal-04750244 , version 1

Citer

David Monniaux. Computing over convex polyhedra using VPL. 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR), Aug 2020, Vienna (virtual), Austria. ⟨hal-04750244⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG
0 Consultations
0 Téléchargements

Partager

More