|
|
系统科学与数学 2008
Mathematics Mechanization: Its Origin, Status, and Prospect
|
Abstract:
We give a brief introduction to the origin and development of the thoughts on mechanization of mental labor, major accomplishments of mathematics mechanization, and its future prospect.
