Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
By: Chou, S.C.
Material type:
BookSeries: Series on Applied Mathematics Vol-6.Publisher: Singapore World Scientific 1994Description: xvii, 461p.ISBN: 978-981-02-1584-3.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 516.0028 CHO (Browse shelf) | Available | 507995 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 516 MAT Lectures on Discrete Geometry | 516 SID Introduction to geometry | 516 WID Geometry and meaning | 516.0028 CHO Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems | 516.00285 BER Computational geometry: Algorithms and applications. 3rd.Edition. | 516.00285 DEB Computational geometry: Algorithms and applications | 516.00285 DEB Computational geometry: Algorithms and applications |
There are no comments for this item.