Article Dans Une Revue
Theoretical Computer Science
Année : 2004
Marie-Françoise Gerard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00860627
Soumis le : mardi 10 septembre 2013-17:55:09
Dernière modification le : vendredi 1 septembre 2023-11:08:10
Dates et versions
Identifiants
- HAL Id : hal-00860627 , version 1
Citer
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau. Using interval arithmetic to prove that a set is pathwise-connected. Theoretical Computer Science, 2004. ⟨hal-00860627⟩
Collections
20
Consultations
0
Téléchargements