Mathematical mechanization

Author: Wu Wenjun
Publisher:
Publish Date: 2003-03-01
Features: This book is a review of a series of papers published around the central issue named "Mathematical Mechanization" by the author. It attempts to study mathematics through constructive and algorithmic approaches, mechanizing and automating mathematical reasoning to reduce tedious mental labor. This book is available for mathematicians, senior undergraduate and graduate students in mathematics and computer science, as well as relevant engineering personnel to reference. The book is divided into three parts: Part I considers the history of mathematical mechanization, with a particular emphasis on its development in ancient China. The second part presents the fundamental principles and characteristic column method for solving systems of polynomial equations. As the foundation of this method, the book also discusses several issues in constructive algebraic geometry. The third part provides applications of the characteristic column method in fields such as geometric theorem proving and discovery, robotics, celestial mechanics, global optimization, and computer-aided design.