《非线性代数方程组与定理机器证明》
ISBN：754281379X
更多“杨路”的图书 查看“上海：上海科技教育出版社”出版的图书 按关键词搜索相关图书
关键词：非线性方程-代数方程-数值计算-代数方程-非线性方程-数值计算-数值计算-非线性方程-代数方程-定理证明
页数：203
出版社地址：未知
点此占领格子后刷新查看百万图书阅读或下载地址。
提示：如果既不想花钱占格子，又想看阅读下载地址，请仔细浏览本站内容，站长将阅读下载地址免费公布了的，就是需要仔细找找。
《非线性代数方程组与定理机器证明》内容简介
内容简介:《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。
《非线性代数方程组与定理机器证明》赏析
暂无赏析内容，快来发布第一篇赏析吧！
《非线性代数方程组与定理机器证明》内容提问与解答
回答基于全网公开信息整理出来的本书相关信息。
解答内容：