@article{gq2010-automated,
  title = {Automated Proof in Geometry: Computing Upper Bounds for the Heilbronn Problem for Triangle},
  author = {De Comité, Francesco and Delahaye, Jean-Paul},
  journal = {Geombinatorics Quaterly},
  pages = {21-26},
  volume = {XX},
  number = {1},
  month = {July},
  year = {2010},
  publisher = {Colorado Springs, CO : The University : The Center},
  issn = {1065-7371},
  url = {http://www.uccs.edu/geombina/2010.html#1},
  abstract = {No abstract},
  hal-id = {hal-00825532},
  x-genre = {revueInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-timestamp = {2013-05-24},
  x-missing = {pdf}
}