Selection Strategies
April Goldman, March 31

Buchberger's algorithm is a method for computing a Groebner basis for a polynomial Ideal. Groebner bases provide a means for resolving the ideal membership problem, solving systems of polynomial equations in several variables, and finding the implicit form of parametric equations. Being able to compute a Groebner basis is quite useful; however, Buchberger's algorithm is highly inefficient. In my presentation, I will discuss a more efficient version of Buchberge's algorithm along with selection strategies for this algorithm that further increase it's efficiency.