描述
开 本: 16开纸 张: 胶版纸包 装: 平装胶订是否套装: 否国际标准书号ISBN: 9787030583666
编辑推荐
数值计算,研究
内容简介
《符号计算选讲》介绍了青年学者在线性代数、多项式代数、差分代数、计算代数几何等领域的部分*新成果，展现了我国符号计算学科的发展动态我们希望以《符号计算选讲》为平台展示课题成果，以及符号计算领域前沿进展，从而促进符号计算领域的学术交流与发展。
目 录
目录
序言
几何学图片的特征信息提取与儿何定理搜索 (安文雅 宋丹 ) 1
利用非交换消元法证明特殊函数恒等式(靳海涛 杜康) 17
微分差分模上Grobner 基与维数多项式 (黄冠利 周梦) 29
面向单项式的F4 算法实现 (李婷 孙璐 林东岱) 58
数控路径规划中的C 空间方法 (马晓辉 申立勇) 74
多项式相乘下联合谱半径变化规律研究. (开万锋 郑悦) 93
三类形如的Bent 函数的构造(玉立波 吴保峰 刘卓军 林东岱) 108
有理插值综述(夏朋 李喆 雷娜) 124
二元有理插值与子结式 (夏朋 尚宝欣) 148
语甜算器的研究与开发(张志强 苏伟 蔡川林 和 白华) 162
微分特征列方法在Sharma-Tas&-Olver 方程势对称分析中的应用 (张智勇 郭磊磊) 174
序言
几何学图片的特征信息提取与儿何定理搜索 (安文雅 宋丹 ) 1
利用非交换消元法证明特殊函数恒等式(靳海涛 杜康) 17
微分差分模上Grobner 基与维数多项式 (黄冠利 周梦) 29
面向单项式的F4 算法实现 (李婷 孙璐 林东岱) 58
数控路径规划中的C 空间方法 (马晓辉 申立勇) 74
多项式相乘下联合谱半径变化规律研究. (开万锋 郑悦) 93
三类形如的Bent 函数的构造(玉立波 吴保峰 刘卓军 林东岱) 108
有理插值综述(夏朋 李喆 雷娜) 124
二元有理插值与子结式 (夏朋 尚宝欣) 148
语甜算器的研究与开发(张志强 苏伟 蔡川林 和 白华) 162
微分特征列方法在Sharma-Tas&-Olver 方程势对称分析中的应用 (张智勇 郭磊磊) 174
评论
还没有评论。