非线性代数方程组与定理机器证明
杨路, 等
评分 0.0分
《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高
多项式代数
王东明, 牟晨琪, 李晓亮, 杨静, 金萌, 黄艳丽
评分 8.7分
《多项式代数》内容简介：多项式代数是研究多项式和多项式系统所定义的代数与几何对象的结构、性质、特征、表示及计算的非线性代数。《多项式代数》系统介绍多项式代数的基本概念、核心理论、主要算法及若干应用。全书共分六章，前两章介绍与多项式相关的概念和运算、多项式系统的消元理论以及代数方程组的求解方法。以此为基础，第三章探讨交换代数与代数几何中的构造性理论和各种计算问题；第四章介绍由实系数多项式等式和不等式
