Mathematics and Mathematical Mechanization

Author: Lin Dongdai
Publisher:
Publish Date: 2001-03-01
Features: This book is divided into four parts. The first part introduces the scientific achievements of Academician Wu Wenjun, including his work in topology, mathematical mechanization, the history of mathematics, and automatic routing. The other three parts are research papers from the participants of the "Mathematics and Mathematical Mechanization" symposium, reflecting the broad and profound influence of Wu Wenjun's mathematical thought.