Zhang Jing-zhong Zhang – författare
Visar alla böcker från författaren Zhang Jing-zhong Zhang. Handla med fri frakt och snabb leverans.
2 produkter
Symbolic Computation And Education
Av Zhang Jing-zhong Zhang, Li Shangzhi Li m. fl.
E-bok, 2007
728 kr
Lägg i varukorg
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 automated geometric reasoning, and to the design and implementation of educational software and …
Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Av Gao Xiaoshan Gao, Chou Shang-ching Chou m. fl.
E-bok, 1994
749 kr
Lägg i varukorg
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 readable proofs for hundreds of geometry theorems.The book begins with chapters introducing the method at …
