HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:global search algorithm

Publications
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 6349
Copyright © 2012-2025 easychair.org. All rights reserved.