Automated Proofs in Geometry : Computing Upper Bounds for the Heilbronn Problem for Triangles
Computational Geometry
2010-03-09 v3 Discrete Mathematics
Symbolic Computation
Abstract
We propose a method for computing upper bounds for the Heilbronn problem for triangles.
Cite
@article{arxiv.0911.4375,
title = {Automated Proofs in Geometry : Computing Upper Bounds for the Heilbronn Problem for Triangles},
author = {Francesco De Comite and Jean-Paul Delahaye},
journal= {arXiv preprint arXiv:0911.4375},
year = {2010}
}