非线性代数方程组与定理机器证明删除本页内容
丛书:非线性科学丛书
作者:杨路等著
ISBN:7-5428-1379-X
关键词:非线性方程:代数方程-数值计算 代数方程:非线性方程-数值计算 数值计算-非线性方程:代数方程 定理证明
页数:203
出版社:上海：上海科技教育出版社
出版日期:1996.09
发现时间:2024年6月24日 10:24
下载阅读地址： 请登录后查看下载方式
图书馆：全国藏书列表
百度网盘：《非线性代数方程组与定理机器证明》百度网盘搜索
1.如果《非线性代数方程组与定理机器证明》最近刷新过，VIP用户一定能通过教程免费下载。
2.本站为VIP用户提供百万本电子书免费阅读的地址及下载阅读教程。
3.本《非线性代数方程组与定理机器证明》页面是互联网用户最近搜索过，教客网收录的搜索日志，如果您认为侵权，请通过右上方删除按钮删除。
内容简介:《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。
非线性方程:代数方程-数值计算 代数方程:非线性方程-数值计算 数值计算-非线性方程:代数方程 定理证明