Mathematics Mechanization and Applications
Contributors: Dongming Wang (Editor); Xiao-Shan Gao (Editor)
Publisher: Academic Press
Published: January 15, 2000
Language: eng
Number of pages: 550
ISBN-13: 9780127347608
First sentence: There are two main activities of mathematics: theorem proving and equation solving.
Description: "This book is of interest to researchers, software developers and graduate students in symbolic and algebraic computation, automated theorem proving, algorithmic mathematics, and computer-aided mathematical problem solving. It is relevant for researchers and university teachers in computer-aided instruction and education; and for engineers and practitioners in mechanics, computer-aided geometric design, geometric modelling and robotics.

People in many other related areas, from pure mathematics to computer-aided design, particularly those who know of the Wu method, but have little knowledge or understanding of it and the work that has arisen around it, will also find the book good reading."--BOOK JACKET.