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

非线性代数方程组与定理机器证明 pdf epub mobi txt 电子书 下载 2025

出版者:上海科技教育出版社
作者:杨路
出品人:
页数:203
译者:
出版时间:1996-09
价格:14.00元
装帧:精装
isbn号码:9787542813794
丛书系列:非线性科学丛书
图书标签:
  • 符号计算 
  • 数学 
  • 计算机代数 
  • 复杂 
  • ff 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

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

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有