Francesco De Comité

2010

Article Title:  Automated Proofs in Geometry: Computing Upper Bounds for the Heilbronn Problem for Triangles

Co-Author: Jean-Paul Delahaye

Vol Issue:  Vol XX (1) 2010 

Page: 21