Francesco De Comité

Authors

Geombinatorics Quarterly

Francesco  De Comité

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