Automated mathematical discovery and verification: minimizing pentagons in the plane
scientific article; zbMATH DE number 7953756
scientific article