中国科学院数学与系统科学研究院期刊网
数学机械化研究回顾与展望
吴文俊
Mathematics Mechanization: Its Origin, Status, and Prospect
WU Wen-Tsun
系统科学与数学 . 2008, (8): 898 -904 .  DOI: 10.12341/jssms10203