\t序言



\t几何学图片的特征信息提取与儿何定理搜索 (安文雅 宋丹 ) 1



\t利用非交换消元法证明特殊函数恒等式(靳海涛 杜康) 17



\t微分差分模上Grobner 基与维数多项式 (黄冠利 周梦) 29



\t面向单项式的F4 算法实现 (李婷 孙璐 林东岱) 58



\t数控路径规划中的C 空间方法 (马晓辉 申立勇) 74



\t多项式相乘下联合谱半径变化规律研究. (开万锋 郑悦) 93



\t三类形如的Bent 函数的构造(玉立波 吴保峰 刘卓军 林东岱) 108



\t有理插值综述(夏朋 李喆 雷娜) 124



\t二元有理插值与子结式 (夏朋 尚宝欣) 148



\t语甜算器的研究与开发(张志强 苏伟 蔡川林 和 白华) 162



\t微分特征列方法在Sharma-Tas&-Olver 方程势对称分析中的应用 (张智勇 郭磊磊) 174

本书介绍了青年学者在线性代数、多项式代数、差分代数、计算代数几何等领域的部分优选成果，展现了我国符号计算学科的发展动态。我们希望以本书为平台展示课题成果，及符号计算领域前沿进展，从而促进符号计算领域的学术交流与发展。本书可作为数学、信息科学或其他符号计算相关专业研究生的参考学习资料，本书也可作为相关领域中的教学、科研人员及相关技术人员的参考书。