%0 Journal Article
%T Mathematics Mechanization: Its Origin, Status, and Prospect<br>数学机械化研究回顾与展望
%A WU Wen-Tsun
%A <br>吴文俊
%J 系统科学与数学
%D 2008
%I 
%X 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.
%K Mechanization of mental labor
%K mathematics mechanization
%K equation solving
%K automated reasoning<br>脑力劳动机械化
%K 数学机械化
%K 方程求解
%K 机器证明
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=CCD7F3353B3BFF33A91FCEFA088F447A&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=9124D83E61CF1CD0&eid=46CB56AABC2765FF&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=1&reference_num=12