Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Books - Kluwer Academic Publishers - 9780792358350 - April 30, 2001
In case cover and title do not match, the title is correct

Wen Tsun Wu
Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition

Price
A$ 162.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 13 - 23, 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

This collection of essays centres around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.

432 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 2001
Original release date 2000
ISBN13 9780792358350
Publishers Kluwer Academic Publishers
Pages 432
Dimensions 155 × 235 × 23 mm   ·   784 g
Language English  

More by Wen Tsun Wu

Show all

See all of Wen Tsun Wu ( e.g. Hardcover Book and Paperback Book )