4 电子书 Gao Xiaoshan Gao
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
€219.99
Cohen Arjeh M Cohen & Takayama Nobuki Takayama: Mathematical Software – Proceedings Of The First International Congress Of 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
€76.92
Wang Dongming Wang & Gao Xiaoshan Gao: Computer Mathematics – Proceedings Of The Fourth Asian Symposium (Ascm 2000)
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
€62.93
Zhang Jing-zhong Zhang & Chou Shang-ching Chou: Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
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
€62.53
