English

A survey on signature-based Gr\"obner basis computations

Commutative Algebra 2014-04-08 v1 Symbolic Computation

Abstract

This paper is a survey on the area of signature-based Gr\"obner basis algorithms that was initiated by Faug\`ere's F5 algorithm in 2002. We explain the general ideas behind the usage of signatures. We show how to classify the various known variants by 3 different orderings. For this we give translations between different notations and show that besides notations many approaches are just the same. Moreover, we give a general description of how the idea of signatures is quite natural when performing the reduction process using linear algebra. This survey shall help to outline this field of active research.

Keywords

Cite

@article{arxiv.1404.1774,
  title  = {A survey on signature-based Gr\"obner basis computations},
  author = {Christian Eder and Jean-Charles Faugère},
  journal= {arXiv preprint arXiv:1404.1774},
  year   = {2014}
}

Comments

53 pages, 8 figures, 11 tables

R2 v1 2026-06-22T03:44:39.927Z