John Perry

Appl. Algebra Eng. Commun. Comput., 2020

2017

Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029].

[BibT_eX]

[DOI]

Alberto Arri

J. Symb. Comput., 2017

Exploring the Dynamic Buchberger Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2015

The skeletons you find when you order your ideal's closet.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2015

2014

Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm.

[BibT_eX]

[DOI]

Massimo Caboara

Appl. Algebra Eng. Commun. Comput., 2014

2011

The F5 criterion revised.

[BibT_eX]

[DOI]

Alberto Arri

J. Symb. Comput., 2011

Signature-based algorithms to compute Groebner bases

[BibT_eX]

[DOI]

CoRR, 2011

Modifying Faugère's F5 algorithm to ensure termination.

[BibT_eX]

[DOI]

Justin Gash

ACM Commun. Comput. Algebra, 2011

Signature-based algorithms to compute Gröbner bases.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

An extension of Buchberger's criteria for Gröbner basis decision.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2010

F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases.

[BibT_eX]

[DOI]

J. Symb. Comput., 2010

2008

Corrigendum to "Are Buchberger's criteria necessary for the chain condition?" [J. Symbolic Comput. 42(2007) 717-732].

[BibT_eX]

[DOI]

Hoon Hong

J. Symb. Comput., 2008

2007

Are Buchberger's criteria necessary for the chain condition?

[BibT_eX]

[DOI]

Hoon Hong