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