Jean-Paul Delahaye

Authors

Geombinatorics Quarterly

Jean-Paul  Delahaye

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