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

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

Wen Tsun Wu

Price
S$ 138
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 5 - 15

Our customers say:

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

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

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  
Show all

More by Wen Tsun Wu

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