Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation - Wen-tsun Wu - Books - Springer Verlag GmbH - 9783211825068 - April 14, 1994
In case cover and title do not match, the title is correct

Wen-tsun Wu
Mechanical Theorem Proving in Geometries: Basic Principles - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1994 edition

Price
A$ 84.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 14 - 26, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

" Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry.

302 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 14, 1994
ISBN13 9783211825068
Publishers Springer Verlag GmbH
Pages 288
Dimensions 170 × 244 × 17 mm   ·   494 g
Language English  
Translator Jin, X.
Translator Wang, D.

See all of Wen-tsun Wu ( e.g. Paperback Book )