張樹功，男，博士，現為吉林大學數學學院博士生導師、教授，同時擔任教育部《符號計算與知識工程》重點實驗室副主任。主要從事符號計算與生物識別技術的教學與研究工作。
人物經歷
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~如今 吉林大學數學學院 博士生導師
課程講授
1) 《計算機代數》，數學學院高年級本科生選修；
2) 《計算交換代數與代數幾何》，數學所計算專業研究生選修。
科研項目
1、“973”項目--“定理機器證明及其應用”，項目成員；
2、“973”項目--“數學機械化與自動推理平臺”，項目成員；
3、“973”項目--“數學機械化方法及其在信息領域中的應用”，項目成員；
4、自然科學基金面上項目--“CAGD中若干基本問題的代數幾何理論與可行算 法”，批準號 10471055,2005.01--2007.12，負責人；
5、自然科學基金面上項目--“多元代數插值的計算機數學方法”，批準號11171133，2012.01--2015.12，負責人。
學術論文
張樹功教授在國內外學術刊物上發表了多篇學術論文，涉及符號計算、代數幾何等多個領域。其中包括：
1. 高允彥, 賈光霖, 史玉升, 孫慶新, 張樹功, 線性電磁攪拌時金屬運動規律的數學模型，《東北工學院學報》，1991年 12卷 3期，起止頁碼：292-297。
2. A new type of reduced dimension path following methods. J. Comput. 數學 10 (1992), no. 3, 263--272. (Reviewer: G. J. Miel) 65H20。
3. Reducing the multivariate polynomial system to eigenvalue problem. Northeast. Math. J. 8 (1992), no. 3, 253--256. (Reviewer: José A. Hermida-Alonso) 15A18 (13F20)。
4. The eigenvalue problem equivalent to multivariate polynomial system, Numerical Algebra: Proceedings of '92 Shanghai International Numerical algebra and its Applications Conference(1992, Shanghai), 62-65。
5. The Eigenvalue Problem Equivalent to Multivariate Polynomial System, Numer. 數學 J. Chinese Universities(English Series), Vol.2 (1993), 二氧化氮, 234-241,1995。
6. The Eigenvalue Method for Solving Multipolynomial System, Lecture Notes in Num. Appl. Anal., 14, 1-8(1995), edited by H. Fujita and M. Yamaguti, Kinokuniya, Tokyo。
7. The Structure of Solutions to Algebraic System and Matrices in Eigenvalue Method, Northeast. 數學 J., Vol. 11, No. 4 (1995), 383-386。
8. Converting Multipolynomial systems into eigenproblems via well arranged bases, proceedings of First Asian Technology conference in Mathematics, Singapore(Dec.,1995), Editors: D. T. Le, V. Saito, B. Teissier, World Scientific(1995)。
9. The Structure of Solutions to Algebraic System and Matrices in Eigenvalue Method, Proceedings of Asian Symposium on Computer 數學, 43-53, edited by He Shi and H. Kobayashi, Scientists Incorporated, Tokyo, 1995。
10. 馮果忱 張樹功 張傳林 , Eigenvalue Methods for Computing High-dimensional Varieties, Northeast. Math. J., Vol. 12, No. 1 (1996), 1-4。
11. 張傳林, 馮果忱, 張樹功，計算代數方程組流形解的特征值方法，應用數學與計算數學學報，1997，02。
12. Clifford Algebra and Mechanical Geometry Theorem Proving, Proceedings of Asian Symposium on Computer 數學, edited by Li Zhibin（1998），49-63。
13. A Clifford algebraic method for geometric reasoning. In: Proc. 2nd ADG(Beijing, China, August 1-3,1998), in the Lecture Notes in Artificial Intelligence series (1669), Springer-Verlag（1998）。
14. The Multiplicity of Zeros of Algebraic System in Eigenvalue Method, J of Computer Science and Technology, Vol.14, No.5(1999),510-517。
15. Hyper finite Interpolation, Wu’s Method and Blending of Implicit Algebraic Surfaces, J of Computer Science and Technology, Vol.14, No.5 (1999), 518-529。
16. The eigenvalue approach to polynomial system solving. 數學 mechanization and applications, 75--93, Academic Press, San Diego, CA, 2000. 65H05 (03B35 68W30) (2000)。
17. Minkowskian空間的Clifford代數表示，《數學與數學機械化》，林東岱、李文林、虞言林編，山東教育出版社（2001）。
18. Zhang Shuong, Dong Tian and Feng Guochen, Algebraic Interpolation on Manifold and the Instability of the Interpolation Nodes，Northeast. 數學 J.,19(2),107-110，2003。
19. 厲玉蓉，雷娜，張樹功，用最低次曲面光滑拼接多個二次曲面的判別條件，吉林大學學報（理學版）41(2), 157-158，2003。
20. 董天，張樹功，非均勻網格點上的插值基，吉林大學學報（理學版）41(2), 159-161，2003。
21. Zhang Shugong, Li Yurong and Lei Na, Existence Criteria of Blending Surfaces of Three Quadric Surfaces—Wu Wen-tsun’s Formulae, Northeast. 數學 J.,19(3),201-204，2003。
22. Feng, 蘇黎世草蜢足球俱樂部 et al, Blending Several Implicit Algebraic surface with Ruled Surfaces, AMS/IP Studies in Advanced mathmatics, Vol.34(2003), p89-111。
23. Li，Lei & Z， Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces ，In: Computer Algebra and Geometric Algebra with Application, H. Li, P. Olver and G. Sommer (eds), Springer, Berlin, 2005. (SCI) Lecture Notes in Computer Science，Volume 31 of 2065, 83－96。
24. 李慶春, 張樹功, 矩陣對角占優性的推廣及應用，吉林大學學報（理學版） 2005； 第43卷 （第5期）： 561-566。
25. 董天, 張樹功, 馮果忱，代 數 流 形 上 的 插 值 問 題， 吉林大學學報（理學版） 2005； 第43卷 （第6期）： 707-715。
26. Cai Shoufeng, Zhang Shugong, A Recursive algorithm on rational interpolation, Northeastern Mathematical Journal, Vol. 21，No.3(2005),253-256。
27. Cai Shoufeng, Zhang Shugong,, The algebraic method of rational interpolation, Numerical 數學 A J of Chinese Universities, Vol.14. No.4(2005), 375-382。
28. Na Lei, Shugong Zhang, Tian Dong, Guochen Feng， The Existence and Expression of Osculatory Rational Interpolation，Journal of Information and Computational Science，Volume 2 Number 3, September 2005, 493-500。
29. Tian Dong, Shugong Zhang, Na Lei，Interpolation Basis for Nonuniform Rectangular Grid，Journal of Information and Computational Science.，Volume 2 Number 4, December 2005, 671-680。
30. 解濱、韓力文、張樹功，一類四次隱式代數曲面的參數化，吉林大學學報(理學版),2006, 44(4), 536-540。
31. 李慶春, 張樹功, 孫玉祥，矩 陣 對 角 占 優 性 的 推 廣，吉林大學學報(理學版),2006, 44(5)，700-704。
32. Li Qingchun , Zhang Shugong，The Criterions for Coneigenvalues of a Matrix, Advances in Matrix Theory and Applications，World Academic Press, 2006,12-15。
33. 牛立尚， 張樹功, MIMO 系統的約束廣義預測控制，信息技術, 2006, 第11期, 90-93。
34. 李俊玲，張樹功, 有約束無模型控制， 控制工程, 2007年第14卷第3期, 245-248。
35. 陳 濤, 董 天, 張樹功, Tower節點集上的極小次數牛頓基, 吉林大學學報（理學版） 2007； 第45卷 （第六期）： 932-934。
36. 丁秀歡 付治國 張樹功, 基于XTR體制的盲簽名方案的改進, 計算機應用 2008, 28(5) 1133-1135。
37. 李俊玲, 張樹功, 附加有界擾動系統開環MMMPC的可行性和穩定性, 吉林大學學報（理學版） 2008； 第46卷 （第一期）： 48-50。
38. 李俊玲, 張樹功, 時變不確定系統的變時域魯棒模型預測控制, 吉林大學學報(理學版) 2008, 46(06) 1007-1012。
39. 王禮萍, 張樹功, 命題邏輯推理的代數化證明, 計算機工程與科學, 2008,8(10), 78-84。
40. 王禮萍 張樹功, 重言式和矛盾式的代數化證明, 《計算機與數字工程》2009年 第8期, 17-21。
41. Li Junling，Zhang Shugong. Some improvements on model free controller， Intelligent Control and 自動化技術, 2008. WCICA 2008. 7th World Congress on， Publication Date: 25-27 June 2008，8164-8168, 2008。
42. Xiaoying Wang, Shugong Zhang and Tian 越南盾, Newton basis for multivariate Birkhoff interpolation, J Comput Appl 數學 228(1):466-479 (2009)。
43. 譚 暢, 張樹功, 零維代數簇短系數有理單變量表示的可分元計算, 吉林大學學報(理學版) 2009, 47(02) 174-178。
44. 王小芳, 王瑞芳, 張樹功, 基于最優化控制模型的文本主題域劃分, 吉林大學學報(理學版) 2009, 47(4) 769-776。
45. 陳少田, 夏 朋, 張樹功, 金 凱, 模上的Groebner基與切觸有理插值, 吉林大學學報(理學版) 2009, 47(03) 502-504。
46. 付治國, 術洪亮, 張樹功, 虧格為3的超橢圓曲線除子類群的計算公式, 吉林大學學報(理學版) 2009, 47(02) 201-206。
47. 王禮萍 張樹功, 重言式和矛盾式的代數化證明, ：《計算機與數字工程》2009年 第8期 , 17-21。
48. Li Junling，Zhang Shugong. Feasibility and stability of a kind of model predictive control of additive uncertainties, Communications in Mathematical Research, 25，299-308,2009。
49. 趙雪, 張樹功, 徐俊彥, 劉慶懷, 求解水平線性互補問題的同倫方法, 吉林大學學報(理學版) 2010, 48(05) 766-770。
50. 王小芳, 王瑞芳, 張樹功, 一種無監督文本特征計算模型, 吉林大學學報(理學版) 2010, 48(1) 79-84。
51. 陳少田, 夏朋, 郭巖, 張樹功, 多元矩陣值切觸有理插值, 吉林大學學報(理學版) 2010, 48(03) 353-360。
52. 付治國,丁秀歡,張樹功, 虧格2超橢圓曲線除子類群的直接算法, 吉林大學學報(理學版) 2010, 48(05) 774-776。
53. 王筱穎, 張樹功, 董天, 李冬梅, 二元極小次數Lagrange插值, 吉林大學學報(理學版) 2010, 07(4) 609-611。
54. 韓曉樂，蔡宇，董天，徐明飛, 由共面圓確定攝像機參數的線性方法, Computer Engineering and Applications 計算機工程與應用 2010, 46(1),160-163。
55. Xiaoying Wang, Shugong Zhang, Tian Dong: A bivariate preprocessing paradigm for the Buchberger-M?ller algorithm. J.Computational Applied Mathematics (JCAM) 234(12):3344-3355 (2010)。
56. Tan Chang, Zhang Shugong, Computation of the Rational Representation for Solutions of High-dimensional Systems, Communications in Mathematical Research，2010，26(2)，119-130。
57. Ding Xiuhuan，Zhang Shugong，Tan Chang, Modification of Algorithm for Selected Term of the Integer Extended Euclidean Matrix Sequence, Journal of Systems Science and Mathematical Sciences, 30(3), 2010, 417-424。
58. Peng Xia, Shugong Zhang, Na Lei: A Fitzpatrick algorithm for multivariate rational interpolation. J. Computational Applied 數學 (JCAM) 235(17):5222-5231 (2011)。
59. Zhe Li, Shugong Zhang, Tian Dong: On the existence of certain error formulas for a special class of ideal projectors. Journal of Approximation Theory (JAT) 163(9):1080-1090 (2011)。
60. 劉莉莉, 陳少田, 夏朋, 張樹功, 一元Birkhoff型有理插值問題, 吉林大學學報(理學版) 2011, 49(03) 369-372。
61. 蔡宇 董天 張樹功, 一種魯棒的攝像機標定方法, 吉林大學學報(理學版) 2011, 49 (02) 267-272。
62. 李喆 張樹功 董天 劉莉莉, 基于約束總體最小二乘方法的近似消逝理想算法, ：《系統科學與數學》2010年 第11期, 1478-1490。
63. 趙雪, 張樹功, 徐俊彥, 劉慶懷, 求解水平線性互補問題的同倫方法, 吉林大學學報（理學版）, 2010年第48卷第5期。
著作教材
1、《數值分析》，東北工學院出版社，1990,沈陽市，參編；
2、《計算機代數基礎》，吉林大學出版社，1997 長春市，主編；
3、《計算機代數基礎》，科學出版社，2005, 北京市 主編；
4、《數值分析（I）》，高教社，2007，北京，參編。
參考資料 >
吉林大學數學學院-張樹功.吉林大學數學學院.2013-12-14