中國電腦科學傢、數學傢。生於河南汝南。1959年畢業於北京大學數學系。1979年任教於中國科技大學。曾任中國科學院成都數理科學研究室主任，成都電腦應用研究所所長、名譽所長、博士生導師，四川師範大學電腦學院院長，廣州大學教育軟體研究所所長。1995年當選中國科學院院士。
主要成果有：提出和實現瞭定理機器證明的數值並行方法。提出消點思想，創建瞭幾何定理可讀證明自動生成的原理和方法，獲1995年中國科學院自然科學獎一等獎和1997年國傢自然科學獎二等獎。發展瞭非線性振動技術，獲1982年國傢發明獎二等獎。發展瞭幾何算法的研究，解決初等圖形在歐氏空間的嵌入等問題。提出以面積為中心的幾何新體系新方法、極限概念的非ε語言和連續歸納法。主持開發的軟件“Z+Z智能教育平臺”獲2000年香港國際發明博覽會金獎。所著《教育數學叢書》獲1995年中國圖書獎，《數學傢的眼光》獲2003年第六屆國傢圖書獎。曾是中國數學會理事、中國計算機學會理事、中國科普作傢協會理事長。