1 “...This book aims at reviewing recent progress in the direction of algebraic and symbolic computation...”

2 “... in the sense that algorithmic versions may be implemented in modern computer algebra systems, using Gröbner...”