Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Overview
Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to problems in science and engineering. It is distinguished by its uniform presentation with all-Chinese contributors and a 40-page list of references. There are 20 chapters written by experienced researchers. The book is divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications. Each chapter is devoted to surveying and expounding the main results achieved from one selected subject. The book contains surveys for diverse applications of the theories and methods to real world problems, ranging from the analysis of robotics and mechanisms to nonlinear programming and chemical equilibrium computation. Part of the theoretical and practical work reviewed in the book has been either unpublished or published only in Chinese journals or even only in the Chinese language. This book therefore provides Western readers working in symbolic and algebraic computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant areas with an easily accessible source of references for what the Chinese researchers have been doing under the banner of mathematics mechanization.* Addresses the frontiers of research with original ideas and results
* Includes sophisticated, successful applications to scientific and engineering problems
* Covers polynomial system solving, geometric reasoning, computer algebra, and mathematical software
* Is comprehensive and focused
* Contains an extensive bibliography--of high reference value--particularly for western readers
Audience: Researchers, practitioners and graduate students in symbolic and algebraic computation, geometric reasoning, authomated theorem proving, algorithmic mathematics, and computer-aided mathematical problem solving; researchers and university teachers in computer-aided instruction and education; and software developers, researchers and engineers in mechanics, computer-aided geometric design, geometric modeling, robotics, and computer vision.
Synopsis
Mathematics Mechanization and Applications provides surveys for major research developments on mechanizing algebraic equations-solving and geometric theorem 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 and focused, and easy to read with a uniform presentation
• contains an extensive bibliography, of high value for reference to 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 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 of it or the work that has arisen around it, will also find the book good reading.
Editorials
From the Publisher
"An outstanding feature of the book is the great variety and diversity of the material treated, together with the brevity, lucidity, and simplicity with which the leading ideas are presented. Another distinct, very appealing feature is the brief comparison of the philosophical ideas underlying the approaches undertaken by ancient Greek mathematicians and their contemporary Chinese pairs. The book is an indispensable reference to the workers actively engaged in symbolic computation, be it in mathematics, robotics, CAD, computer vision, non-linear optimization, theoretic physics, chemical equilibrium, celestial mechanics. It can also be strongly recommended to thè'disengaged" mathematician who wishes to become familiar with an important and active research area."Zentralblatt MATH - the journal of the European Mathmatical Society.