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