張樹功(博士生導師)

張樹功，男，博士學歷，現為吉林大學數學學院博士生導師。

基本介紹

• 中文名：張樹功
• 國籍：中國
• 出生地：中國
• 職業：博導

人物履歷

1978.02~1982.02 東北工學院數學系 學生

1982.02~1984.12 吉林大學數學所 碩士研究生

張樹功博士生導師

1991.09~1993.12 吉林大學計算中心 博士研究生

學術任職

1984.12~1991.09 東北工學院數學系 助教、講師

1993.12~1996.01 吉林大學計算機科學系 博士後

1996.01~1999.12 吉林大學數學學院 副教授

2000.01~如今 吉林大學數學學院 教 授

2001.06~如今 吉林大學數學學院 博士生導師

教學科研

主要從事符號計算與生物識別技術的教學與研究工作，於國內外學術刊物發表論文30餘篇。

教材編寫

1) 《數值分析》，東北工學院出版社，1990,瀋陽，參編；

2) 《計算機代數基礎》，吉林大學出版社，1997 長春，主編；

3) 《計算機代數基礎》，科學出版社，2005, 北京 主編。

課程講授

1) 《計算機代數》，數學學院高年級本科生選修；

2) 《計算交換代數與代數幾何》，數學所計算專業研究生選修。

科研項目

曾經承擔“定理機器證明及其套用”、“數學機械化與自動推理平台”等國家重大關鍵項目的子課題；作為主要參加者參加過多項國家自然科學基金、博士點基金的研究工作。在研項目為：

1) 973項目子課題《 數學機械化方法及其在信息領域中的套用－核心算法》，

編號：2004CB318000；2004.10-2009.10。

2) 自然科學基金項目《CAGD中若干基本問題的代數幾何理論與可行算法》，

編號：10471055；2005.01-2007.12。