Bokus

S-C Chou – författare

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

1 produkter

  1. S-C Chou, X-S Gao, J-Z Zhang - MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS, Inbunden. Tillgänglighet: Tillfälligt slut

    MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS

    Av S-C Chou, X-S Gao m. fl.

    Inbunden, 1994

    2734 kr

    Tillfälligt slut

    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 …