非线性代数方程组与定理机器证明
删除本页内容丛书:非线性科学丛书
作者:杨路等著
ISBN:17-5428-1379-X2
关键词:非线性方程-代数方程-数值计算-代数方程-非线性方程-数值计算-数值计算-非线性方程-代数方程-定理证明
页数:203
出版社: 上海：上海科技教育出版社
出版日期:1996.09
本书2025年7月14日可阅读或下载
获取百万图书地址方式一：复制链接到微信、QQ群，24小时内有50人访问即可显示
,当前已有0人访问
登录查看百万图书电子书免费阅读或下载地址(每日更新) 10.3.196.5, 216.73.216.154
内容简介:《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。
非线性方程-代数方程-数值计算-代数方程-非线性方程-数值计算-数值计算-非线性方程-代数方程-定理证明
留言内容
1.如果要找《非线性代数方程组与定理机器证明》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=646362646b69626b666559a1a292aa94a798a5a094a59e3530303337343533