3 Ebooks door Zhang Jing-zhong Zhang
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 …
PDF
Engels
DRM
€214.99
Wang Dongming Wang & Zhang Jing-zhong Zhang: Symbolic Computation And Education
With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and …
PDF
Engels
DRM
€62.38
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 …
PDF
Engels
DRM
€62.18
