符号计算选讲

目录
序言
几何学图片的特征信息提取与儿何定理搜索 (安文雅 宋丹 ) 1
利用非交换消元法证明特殊函数恒等式(靳海涛 杜康) 17
微分差分模上Grobner 基与维数多项式 (黄冠利 周梦) 29
面向单项式的F4 算法实现 (李婷 孙璐 林东岱) 58
数控路径规划中的C 空间方法 (马晓辉 申立勇) 74
多项式相乘下联合谱半径变化规律研究. (开万锋 郑悦) 93
三类形如的Bent 函数的构造(玉立波 吴保峰 刘卓军 林东岱) 108
有理插值综述(夏朋 李喆 雷娜) 124
二元有理插值与子结式 (夏朋 尚宝欣) 148
语甜算器的研究与开发(张志强 苏伟 蔡川林 和 白华) 162
微分特征列方法在Sharma-Tas&-Olver 方程势对称分析中的应用 (张智勇 郭磊磊) 174