张树功
张树功，男，博士，现为吉林大学数学学院博士生导师、教授，同时担任教育部《符号计算与知识工程》重点实验室副主任。主要从事符号计算与生物识别技术的教学与研究工作。
人物经历
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 \u0026 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