HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2023 easychair.org. All rights reserved.