基本情况
姓名： 张树功

性别： 男
职称： 教授
所在系别： 信息与计算数学系
是否博导： 是
最高学历： 研究生
最高学位： 博士
电话：
Email：
详细情况
所在学科专业： 计算数学
所研究方向： 符号计算，图像处理及其应用
讲授课程： 1)《计算机代数》，数学学院高年级本科生选修；
2)《数值分析（上）－数值代数》，数学学院本科生。

教育经历： 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）“973”项目--“定理机器证明及其应用”，项目成员；
2）“973”项目--“数学机械化与自动推理平台”，项目成员；
3）“973”项目--“数学机械化方法及其在信息领域中的应用”，项目成员；4）自然科学基金面上项目--“CAGD中若干基本问题的代数几何理论与可行算 法”，批准号 **,2005.01--2007.12，负责人；
在研项目
1）自然科学基金面上项目--“多元代数插值的计算机数学方法”，批准号**，2012.01--2015.12，负责人。
学术论文： 1.高允彦,贾光霖,史玉升,孙庆新,张树功, 线性电磁搅拌时金属运动规律的数学模型，《东北工学院学报》，1991年 12卷 3期，起止页码：292-297.
2.A new type of reduced dimension path following methods. J. Comput. Math. 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. Math. J. Chinese Universities(English Series), Vol.2 (1993), No.2, 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. Math. 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 Mathematics, 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 Mathematics, 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. Mathematics 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. Math. 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. Math. J.,19(3),201-204，2003.
22.Feng, G.C. et al, Blending SeveralImplicit Algebraic Surface with Ruled Surfaces, AMS/IP Studies in Advanced mathmatics, Vol.34(2003), p89-111.
23.Li，Lei & Z， Constructive Theory andAlgorithm forBlending 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 mathematics 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 Automation, 2008. WCICA 2008. 7th World Congress on， Publication Date: 25-27 June 2008，8164-8168, 2008.
42.Xiaoying Wang, Shugong Zhang and Tian Dong, Newton basis for multivariate Birkhoff interpolation, J Comput Appl Math 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 Mathematics (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，北京，参编。

获奖情况： 无。
社会兼职： 吉林大学教育部《符号计算与知识工程》重点实验室副主任。