Chapitre D'ouvrage
Année : 2020
Xavier Allamigeon : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03151656
Soumis le : mercredi 24 février 2021-22:42:20
Dernière modification le : mardi 3 décembre 2024-15:14:03
Dates et versions
Identifiants
- HAL Id : hal-03151656 , version 1
- ARXIV : 2104.15021
- DOI : 10.1007/978-3-030-51054-1_11
Citer
Xavier Allamigeon, Ricardo Katz, Pierre-Yves Strub. Formalizing the Face Lattice of Polyhedra. Automated Reasoning. IJCAR 2020, pp.185-203, 2020, ⟨10.1007/978-3-030-51054-1_11⟩. ⟨hal-03151656⟩
Collections
69
Consultations
0
Téléchargements