符號計算選講

目錄
序言
幾何學(xué)圖片的特征信息提取與兒何定理搜索 (安文雅 宋丹 ) 1
利用非交換消元法證明特殊函數(shù)恒等式(靳海濤 杜康) 17
微分差分模上Grobner 基與維數(shù)多項式 (黃冠利 周夢) 29
面向單項式的F4 算法實現(xiàn) (李婷 孫璐 林東岱) 58
數(shù)控路徑規(guī)劃中的C 空間方法 (馬曉輝 申立勇) 74
多項式相乘下聯(lián)合譜半徑變化規(guī)律研究. (開萬鋒 鄭悅) 93
三類形如的Bent 函數(shù)的構(gòu)造(玉立波 吳保峰 劉卓軍 林東岱) 108
有理插值綜述(夏朋 李喆 雷娜) 124
二元有理插值與子結(jié)式 (夏朋 尚寶欣) 148
語甜算器的研究與開發(fā)(張志強 蘇偉 蔡川林 和 白華) 162
微分特征列方法在Sharma-Tas&-Olver 方程勢對稱分析中的應(yīng)用 (張智勇 郭磊磊) 174