Motivation

Algorithmical, theoretical aspects of GB computations: systematic research; many publications; well recognized progress
Implementational aspects of GB computations: often unsystematic research; few publications; progress usually not well-recognized
Our goal: Systematically examine implementational aspects of GB computations: coefficient arithmetic; memory management; polynomial and monomial representations/operations; algorithmic refinements driven by implementational aspects