Using symbolic calculations to determine largest small polygons
scientific article; zbMATH DE number 7382698
scientific article