非线性代数方程组与定理机器证明
上海科技教育出版社 / 1996-09出版
简介

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

豆瓣阅读热门小说
  1. 1 复读人生
  2. 2 山海志怪录
  3. 3 视奸
  4. 4 夏日三候
  5. 5 小妇人(上部 · 第一卷)
  6. 6 自我复位健康术——上肢篇
  7. 7 珠圆玉润梦之队
  8. 8 明天再想死的事情