isbn9787030655189

计算机代数

《计算机代数》,作者:陈玉福,张智勇 编著 出版社:科学出版社 ISBN:9787030655189。计算机代数是研究符号计算的算法设计、理论分析和计算机实现的学科。本书介绍计算机代数的基本知识、算法及其理论依据。主要内容包括数据的表示与基本运算、结式与子结式、整系数多项式的模算法、特征列方法、Grobner基方法、实系数多项式的根、实闭域上的量词消去以及形式积分等。本书侧重陈述