# Buchberger's algorithm

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2008

2008

- IACR Cryptology ePrint Archive
- 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

- J. Symb. Comput.
- 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

- Journal of Automated Reasoning
- 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

- SIAM J. Discrete Math.
- 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

- J. Symb. Comput.
- 1996

In the computation of Gröbner bases of zero-dimensional ideals, linear algebra has been proved to be an useful tool, provided… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Math. Oper. Res.
- 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

- CCL
- 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

- AAECC
- 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

- ISSAC
- 1991

In this paper redescribe some experimentti findings on selection strategies for Gr6bner basis computation with the Buchberger… (More)

Is this relevant?

1990

1990

- ISSAC
- 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?