Groebner Basis

A Groebner Basis is a mathematical tool for manipulating expressions. See which is not an easy read. There is an implementation available with SymbolicCpp. -- JohnFletcher

It is used to decide divisability of polynoms because repeated reduction (division) is guaranteed to terminate (simplified). The key algorithm is Buchbergers:


View edit of September 29, 2010 or FindPage with title or text search