1 Introduction
2 Notations and terminology
3 Matrix F5
4 Gröbner bases with signatures
5 Generic signature Gröbner basis computation
6 S-Pair Elimination
7 Rewrite bases
9 Exploiting algebraic structures
10 F5 and the quest of termination
11 Signature-based Gröbner basis algorithms using ⊴rat
12 Using Buchberger's criteria in signature-based Gröbner basis algorithms
13 s-reductions using linear algebra
14 Experimental results
15 Concluding remarks