MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS - CHOU S-C ET AL

Business Listing - October 16, 2023

MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS - CHOU S-C ET AL

AUTHOR AFFILIATION : WICHITA STATE UNIV, USA PUB DATE : 6-Apr-94 ONLINE RELEASE DATE : 29-Mar-11 Print ISBN 13 : 9789810215842 US$ (Print) : 173 EISBN 13 : 9789812798152 US$ (Ebook) : 277 £ (Ebook) : 245 SUBJECT : MATHEMATICS SUB SUBJECT : GEOMETRY & TOPOLOGY IMPRINT : WSPC Package : WSPC Collection Year : Backlist URL : https://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc SERIES ON APPLIED MATHEMATICS BOOK TYPE : MONOGRAPH PP : 480 BOOK CODE : 2196  

Featured

This is a premium business listing. Stand out from the competition!

Own a Business?

List your company and reach more customers today.

Add Your Business