Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleModifying Faug`eRe
Author(s) Christian Eder, Justin M. Gash, John Perry
TypeArticle in Journal
AbstractThe structure of the F5 algorithm to compute Gröbner bases makes it very efficient. However, it is not clear whether it terminates for all inputs, not even for "regular sequences". This paper has two major parts. In the first part, we describe in detail the difficulties related to a proof of termination. In the second part, we explore three variants that ensure termination. Two of these have appeared previously in dissertations, and ensure termination by checking for a Gröbner basis using traditional criteria. The third variant, F5+, identifies a degree bound using a distinction between "necessary" and "redundant" critical pairs that follows from the analysis in the first part. Experimental evidence suggests this third approach is the most efficient of the three.
ISSN1932-2240
URL http://doi.acm.org/10.1145/2016567.2016574
LanguageEnglish
JournalACM Commun. Comput. Algebra
Volume45
Number1/2
Pages70--89
PublisherACM
AddressNew York, NY, USA
Year2011
Edition0
Translation No
Refereed No
Webmaster