來源:互聯網
支麗紅,1969年出生于蘇州市太倉縣瀏河鎮。1987年考入北京大學數學系純粹數學專業。 1991年考入中科院系統科學研究所,跟隨數學機械化中心的吳文俊院士和北京市計算中心的吳文達研究員,開始從事數學機械化和符號數值混合計算的研究。1998—2001 在日本愛媛大學計算機系擔任講師。2001—2002 在西安大略大學計算機系做博士后研究。2003—2009年中科院數學院副研究員。2009年被聘為中科院數學院研究員。
教育背景
1987——1991 北京大學數學系(獲學士)?
1991——1996 中國科學院星系統所(獲博士學位)?
2001——2002 加拿大西安大略大學計算機系(博士后)
研究方向
基于符號和數值混合計算的可信計算
主要成果
1. 數值和符號混合方法求解非線性數值多項式方程組
2. 基于Ruppert矩陣的多元多項式的近似因式分解
3. 奇異廣義Sylvester 矩陣和多元多項式GCD計算
4. 全局最優解的可信驗證
參考資料 >