" Mathematics mechanization and applications " provides surveys for major research for proving with diverse applications accomplished in Wu's extended Chinese group. The book addresses the frontiers of research, with new and original ideas and results, includes sophisticated and successful applications to scientific and engineering problems, covers polynomial system solving ; geometric reasoning ; computer algebra ; and mathematical software, is comprehensive, focused and easy to read with a uniform presentation, contains an extensive bibliography, of high value for reference, particularly for western readers. 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 modeling and robotics. People in many other related areas, from pure mathernatics to computer-aided design, particularly those who know of the Wu's method, but have little knowledge or understanding of it and the work that bas arisen around it, will also find the book good reading.
" Mathematics mechanization and applications " provides surveys for major research for proving with diverse applications accomplished in Wu's extended Chinese group. The book addresses the frontiers of research, with new and original ideas and results, includes sophisticated and successful applications to scientific and engineering problems, covers polynomial system solving ; geometric reasoning ; computer algebra ; and mathematical software, is comprehensive, focused and easy to read with a uniform presentation, contains an extensive bibliography, of high value for reference, particularly for western readers. 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 modeling and robotics. People in many other related areas, from pure mathernatics to computer-aided design, particularly those who know of the Wu's method, but have little knowledge or understanding of it and the work that bas arisen around it, will also find the book good reading.