Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Maple program
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
Copyright © 2012-2024 easychair.org. All rights reserved.