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
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