New Strategies for Standard Bases over Z
  Experiences with the implementation of strong Gr\"obner bases respectively standard bases for polynomial rings over principal ideal rings are explained: different strategies for creating the pair set, methods to avoid coefficient growth and a normal form algorithm for non-global orderings. 
Christian Eder, Gerhard Pfister, Adrian Popescu
math.AC