Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.