3)"973"项目--"数学机械化方法及其在信息领域中的应用",项目成员;4)自然科学基金面上项目--"CAGD中若干基本问题的代数几何理论与可行算 法",批准号 104710552005.01--2007.12,负责人;
1)自然科学基金面上项目--"多元代数插值的计算机数学方法",批准号11171133,2012.01--2015.12,负责人.
11.张传林冯果忱张树功,计算代数方程组流形解的特征值方法,应用数学与计算数学学报,1997,02.
17.Minkowskian空间的Clifford代数表示,"数学与数学机械化",林东岱,李文林,虞言林编,山东教育出版社(2001).
社会兼职: 吉林大学教育部"符号计算与知识工程"重点实验室副主任.