Autore: Xiaoshan Gao

Supporto

3 Ebook di 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
Inglese
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
Inglese
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
Inglese
DRM
€229.99