 |
 |
Article dans une revue
Extending CSG with projections: Towards formally certified geometric modeling
George Tzoumas
1
Dominique Michelucci
2
Sebti Foufou
3
1
VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
George Tzoumas 1
Auteur
Dominique Michelucci 2
Auteur IdHAL : dominique-michelucci ORCID : https://orcid.org/0000-0002-1256-9080
Sebti Foufou 3
Auteur IdHAL : sebti-foufou ORCID : https://orcid.org/0000-0002-3555-9125
1
VEGAS - Effective Geometric Algorithms for Surfaces and Visibility (France)
- INRIA Lorraine (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UHP - Université Henri Poincaré - Nancy 1 (24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France - France)
- Université Nancy 2 (91 avenue de la Libération, BP 454, 54001 Nancy cedex - France)
- INPL - Institut National Polytechnique de Lorraine (France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
2
Département Informatique - ENSMSE (France)
- Mines Saint-Étienne MSE - École des Mines de Saint-Étienne (158, Cours Fauriel - 42023 Saint Étienne cedex 2 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
3
LIB - Laboratoire d'Informatique de Bourgogne [Dijon] (UFR Sciences et Techniques
9 Avenue Alain Savary
BP 47870
21078 DIJON CEDEX - France)
- UB - Université de Bourgogne : EA7534 (Maison de l'université - Esplanade Érasme - BP 27877 - 21078 Dijon cedex - France)
Type de document :
Article dans une revue
Domaine :
Liste complète des métadonnées
https://hal-univ-bourgogne.archives-ouvertes.fr/hal-02564261
Contributeur : Sebti Foufou <>
Soumis le : mardi 5 mai 2020 - 18:07:01
Dernière modification le : mercredi 24 juin 2020 - 16:19:19
Contributeur : Sebti Foufou <>
Soumis le : mardi 5 mai 2020 - 18:07:01
Dernière modification le : mercredi 24 juin 2020 - 16:19:19
Identifiants
- HAL Id : hal-02564261, version 1
- DOI : 10.1016/j.cad.2015.04.003
Collections
UNIV-BOURGOGNE | UNIV-LORRAINE | INRIA | LORIA | LIB_UB | CNRS | INSTITUT-TELECOM | LIB_MODGEOM
Citation
George Tzoumas, Dominique Michelucci, Sebti Foufou. Extending CSG with projections: Towards formally certified geometric modeling. Computer-Aided Design, Elsevier, 2015, 66, pp.45-54. ⟨10.1016/j.cad.2015.04.003⟩. ⟨hal-02564261⟩
Métriques
Consultations de la notice