Eeective Grr Obner Structures


Since Buchberger introduced the theory of Grr obner bases in 1965 it has become one of the most important tools in constructive algebra and, nowadays, it is the kernel of many algorithms in the theory of polynomial ideals and algebraic geometry. Motivated by the results in polynomial rings there have been investigated a lot of possibilities to generalise… (More)