第九届数学机械化高级研讨班今起至5月28日在温州大学召开。昨晚，温州市委书记王建满、市委副书记陈艾华专程看望来温参会的我国著名数学家、中科院院士吴文俊。

　　吴文俊院士，是中国数学机械化研究的创始人之一。上世纪50年代在自动推理、机器证明等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，并有许多重要应用；上世纪70年代他创立了定理机器证明的“吴方法”，在国际机器证明领域产生巨大影响，引起数学研究方式的变革。2000年获首届国家最高科学技术奖。

　　昨晚，王建满在看望吴文俊院士时，向吴老介绍了温州经济社会发展情况。对温州各方面的情况，吴老总是不断地插话了解详情。王建满说，吴老是国际知名的数学家，温州有着“数学家摇篮”美誉，希望吴老此次温州之行，能为“数学之乡”今后的发展多提宝贵意见，为温州的建设献计献策。吴老说，温州和温州人在全世界都很出名，温州也出了很多大名鼎鼎的数学家，希望温州在新的形势下取得更大的发展。