Buchberger's algorithm

Known as: Buchberger, Buchberger algorithm 
In computational algebraic geometry and computational commutative algebra, Buchberger's algorithm is a method of transforming a given set of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
It is known that Euclid’s algorithm, Guass’ elimination and Buchberger’s algorithm play important roles in algorithmic number… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This is the English translation (by Michael P. Abra mson) of the PhD thesis of Bruno Buchberger, in which he int roduced the… (More)
Is this relevant?
2001
2001
We present an implementation of Buchberger's algorithm that has been proved correct within the proof assistant Coq. The… (More)
Is this relevant?
1997
1997
In this paper we modify Buchberger’s S-pair reduction algorithm for computing a Gröbner basis of a toric ideal so as to apply to… (More)
Is this relevant?
1996
1996
In the computation of Gröbner bases of zero-dimensional ideals, linear algebra has been proved to be an useful tool, provided… (More)
  • table 1
  • table 2
  • table 4
  • table 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Let IP denote the family of integer programs of the form Min cx : Ax = b, x 2 N n obtained by varying the right hand side vector… (More)
Is this relevant?
1994
1994
We present an extended completion procedure with built-in theories deened by a collection of associativity and commutativity… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Suppose I is a prime ideal in k[Xl, .., X ] with a given finite generating set and k(q 1 ..... qm ) is a finitely generated… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
In this paper redescribe some experimentti findings on selection strategies for Gr6bner basis computation with the Buchberger… (More)
Is this relevant?
1990
1990
We have experimented with a little elementary parallelism applied to Buchberger's algorithm. This is in contrast to [Ponder] and… (More)
Is this relevant?