非线性代数方程组与定理机器证明
图书信息
书名：非线性代数方程组与定理机器证明作者：杨路,张景中,侯晓荣
包装：精装
开本：32
页数：203页
出版社：上海科技教育出版社
出版时间：1996-09
图书简介
《非线性代数方程组与定理机器证明》是一本深入讲解参系数非线性代数方程组的构造性理论和求解算法的书籍。全书共分六章：导论，消去法基础，三角型方程组，一般多项式方程组，机器证明的例证法以及多项式方程的判别系统。作者在书中详细讲解了解决5次以上代数方程的判定问题的方法，这是一个几个世纪以来一直未能解决的经典问题。此外，书中也介绍了一些作者的研究成果，特别是关于多项式的重根、实根个数的判定和稳定多项式方面的内容。对于理工科大学教师、高年级学生、研究生、博士后和研究人员而言，这本书是一本重要的参考书目。
推荐理由
本书深入讲解了参系数非线性代数方程组的构造性理论和求解算法，同时给出了数学领域中经典的5次以上代数方程的判定问题的解法。适合理工科大学教师、高年级学生、研究生、博士后和研究人员阅读，是一本重要的参考书目。
