本書介紹了青年學者在線性代數、多項式代數、差分代數、計算代數幾何等領域的部分**成果,展現了我國符號計算學科的發(fā)展動態(tài)我們希望以本書為平臺展示課題成果,以及符號計算領域前沿進展,從而促進符號計算領域的學術交流與發(fā)展。
更多科學出版社服務,請掃碼獲取。
目錄
序言
幾何學圖片的特征信息提取與兒何定理搜索 (安文雅 宋丹 ) 1
利用非交換消元法證明特殊函數恒等式(靳海濤 杜康) 17
微分差分模上Grobner 基與維數多項式 (黃冠利 周夢) 29
面向單項式的F4 算法實現 (李婷 孫璐 林東岱) 58
數控路徑規(guī)劃中的C 空間方法 (馬曉輝 申立勇) 74
多項式相乘下聯合譜半徑變化規(guī)律研究. (開萬鋒 鄭悅) 93
三類形如的Bent 函數的構造(玉立波 吳保峰 劉卓軍 林東岱) 108
有理插值綜述(夏朋 李喆 雷娜) 124
二元有理插值與子結式.. (夏朋 尚寶欣) 148
語甜算器的研究與開發(fā)(張志強 蘇偉 蔡川林 和 白華) 162
微分特征列方法在Sharma-Tas&-Olver 方程勢對稱分析中的應用 (張智勇 郭磊磊) 174