非线性代数方程组与定理机器证明

删除本页内容

丛书:非线性科学丛书

作者:杨路等著

ISBN:17-5428-1379-X2

关键词:非线性方程-代数方程-数值计算-代数方程-非线性方程-数值计算-数值计算-非线性方程-代数方程-定理证明

页数:203

出版社: 上海:上海科技教育出版社

出版日期:1996.09

本书2025年3月31日可阅读或下载


内容简介:《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种,介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章,即:导论,消去法基础。三角型方程组,一般多项式方程组,机器证明的例证法,多项式方程的判别系统。其中有不少内容是作者的研究成果,尤其是5次以上代数方程的判定问题,作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读,也可供自然科学和工程技术领域中的研究人员参考。

非线性方程-代数方程-数值计算-代数方程-非线性方程-数值计算-数值计算-非线性方程-代数方程-定理证明

留言内容
发布留言


用户须知:

1.如果要找《非线性代数方程组与定理机器证明》,可以尝试去图书馆。

2.本页面文字和图片内容来自于http://m.5read.com/。

3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=656463656c6a636c67665aa2a393ab95a899a6a195a69f3936353839333634

非线性代数方程组与定理机器证明.pdf

非线性代数方程组与定理机器证明.docx