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