Using symbolic calculations to determine largest small polygons - Audet, Charles; Hansen, Pierre; Svrtan, Dragutin (Journal of Global Optimization, 2021)