Jean-Paul Delahaye

2010

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

Co-Author:  Francesco De Comité

Vol Issue:  Vol XX (1) 2010

Page:  21