姓名 申立勇中科院数学科学学院 副教授专业 理学-数学类,计算科学研究领域计算机辅助几何设计,几何造型,数控技术符号和数值计算,曲线,曲面隐式化,恰当化程序验证,程序终止性分析简介应用数学方向,2005毕业于中国科技大学数学系,获博士学位.现任中国科学院研究生院数学科学学院副教授,硕士生导师.姓名 申立勇中科院数学科学学院 副教授专业 理学-数学类,计算科学研究领域计算机辅助几何设计,几何造型,数控技术符号和数值计算,曲线,曲面隐式化,恰当化程序验证,程序终止性分析简介应用数学方向,2005毕业于中国科技大学数学系,获博士学位.现任中国科学院研究生院数学科学学院副教授,硕士生导师.