Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Jian Lu
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
Keyphrases
Branch and Bound
,
computational geometry
,
global search algorithm
,
inequality
,
Maple program
.
Copyright © 2012-2024 easychair.org. All rights reserved.