Automated Proofs in Geometry : Computing Upper Bounds for the Heilbronn Problem for Triangles
We propose a method for computing upper bounds for the Heilbronn problem for triangles.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.