论文纲要：特性列、Groebner 基和良性基本领的实行、比拟和矫正

计划机代数是计划机科学中的新兴范围. 它的重要接洽实质是代数算法的安排、领会、实行及运用. 在正文中，咱们开始回忆一下计划机代数这门学科的兴盛，而后引见Gr¨obner 基的本领和表面，再引入对合基本领. 后者是与Buchberger 算法各别的结构Gr¨obner 基的本领. 咱们试图用Gr¨obner 基的表面来对它举行刻划. 接下来，咱们引见良性基，咱们的重要处事是把它算法化，在计划机上实行，并经过少许试验截止，找到少许优化算法的战略，对于微分景象，咱们主假如把微分特性列本领与其余本领大略地做了少许比拟.全文共分五个局部：第一局部重要引见计划机代数的兴盛汗青，以及正文选题的根源，接洽手段和意旨.第二局部大略引见了Gr¨obner 基表面和本领. 这一章的实质是为了更简单的证明对合基表面.第三局部精细引见了对合基本领的后台和现阶段的接洽，咱们用上一章的表面来刻划对合基本领，而后将Gr¨obner 基本领和对合基本领举行比拟.第四局部重要引见了良性基本领. 咱们的重要处事是把这种本领算法化，而后把之上三种本领在表面和实行上作了比拟.第六局部引见了微分特阵列本领. 咱们主假如把它算法化，在实行上与其余本领大略地作了比拟.