लेखक: Xiaoshan Gao

समर्थन

3 द्वारा ईबुक Xiaoshan Gao

Arjeh M Cohen & Xiaoshan Gao: MATHEMATICAL SOFTWARE
The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathemat …
PDF
अंग्रेज़ी
DRM
€279.99
Xiaoshan Gao & Dongming Wang: COMPUTER MATHEMATICS (V8)
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the f …
PDF
अंग्रेज़ी
DRM
€229.99
Jing-zhong Zhang & Shang-ching Chou: MACHINE PROOFS IN GEOMETRY (V6)
This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readab …
PDF
अंग्रेज़ी
DRM
€229.99