中科院院长路甬祥今天宣布,中科院投入120万元资金设立数学机械化方法应用专项经费,用于推动数学机械化方法在其他领域,尤其是高科技领域的应用。
数学机械化研究是吴文俊院士获得最高科技奖的主要成就之一,也是我国科学家开创的科学领域之一。(李斌)