Chou Shang-ching Chou – författare

Visar alla böcker från författaren Chou Shang-ching Chou. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   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 …