Article Dans Une Revue
Geombinatorics
Année : 2010
Hal Lifl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00825532
Soumis le : vendredi 24 mai 2013-03:04:49
Dernière modification le : mercredi 24 janvier 2024-09:54:21
Dates et versions
Identifiants
- HAL Id : hal-00825532 , version 1
Citer
Comité, Francesco De, Jean-Paul Delahaye. Automated Proof in Geometry: Computing Upper Bounds for the Heilbronn Problem for Triangle. Geombinatorics, 2010, pp.21-26. ⟨hal-00825532⟩
Collections
161
Consultations
0
Téléchargements