论文纲要：解非线性代数式组的算法接洽

Grobner 基本领和Ritt ―吴特性列本领是计划机代数中解代数式组的两种基础而要害的本领. 正文重要接洽计划Grobner 基和特性列的百般算法，手段是为了矫正那些算法，使其功效更高. 正文分为两局部：第一局部是Grobner 基的表面、算法及实行. 计划多项式组的Grobner 基的算法有很多，正文引见比拟典范的Buchberger 算法、F4 算法和良性基. Buchberger 算法是Grobner 基本领的普通. 对该算法的接洽，无助于于领会和控制Grobner 基的表面及其它算法. F4 算法是一种更灵验的算法，它之以是灵验是由于它很好地运用了线性代数的本领和一个标记预处置. 经过对F4 算法与接洽与实行，咱们能对Grobner 基及其算法有更深的看法. 良性基是经过吴本领来计划Grobner 基的一种本领. 用良性基本领咱们不只不妨计划Grobner 基，并且能获得Grobner 基和良性基之间的联系. 第二局部是Ritt ―吴特性列的表面、算法以及对算法的少许矫正. Ritt ―吴特性列算法是特性列本领的普通. 同声咱们还将引见聚筛法，这也是计划特性列的灵验算法，它灵验地汇合了伪除和子结式的计划矫正了特性列算法，更加是对多项式体例的零点领会. 结果咱们指出怎样运用F4 算法中的标记预处置、线性代数和其它战略对特性列算法举行矫正. 个中有些矫正是对准于少许特出的多项式组.