2 papers
math.CO2024
Pentagon Minimization without Computation
John Mackey, Bernardo Subercaseaux
Erdős and Guy initiated a line of research studying , the minimum number of convex -gons one can obtain by placing points in the plane without any three of them bein…
cs.CG2023
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule +1
We present a comprehensive demonstration of how automated reasoning can assist mathematical research, both in the discovery of conjectures and in their verification. Our focus is a…