支丽红
个人简况
支丽红 1969年生于江苏省太仓市
现任职：中科院系统所，研究员
研究方向：基于符号和数值混合计算的可信计算
学历
1987——1991 北京大学数学系 （获学士学位）
1991——1996 中科院系统所 （获博士学位）
2001——2002 加拿大西安大略大学计算机系 （博士后）
主要成果：1. 数值和符号混合方法求解非线性数值多项式方程组2. 基于Ruppert矩阵的多元多项式的近似因式分解3. 最近奇异广义Sylvester 矩阵和多元多项式GCD计算4. 全局最优解的可信验证