Keyword:global search algorithm

Papers
Maple Program for MC 2021 Paper: a Machine Proof of an Inequality for the Sum of Distances between Four Points on the Unit Hemisphere using Maple Software Zhenbing Zeng, Yaochen Xu, Jian Lu and Liangyu Chen EasyChair Preprint no. 6349