A New Verified Optimization Technique for the "Packing Circles in a Unit Square" Problems
scientific article; zbMATH DE number 2206234