Autor: Jing-zhong Zhang

Ajutor

2 Ebooks de Jing-zhong Zhang

Dongming Wang & Shangzhi Li: SYMBOLIC COMPUTATION & 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 autom …
PDF
Engleză
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
Engleză
DRM
€229.99