New Strategies for Standard Bases over Z
Christian Eder, Gerhard Pfister, Popescu, Adrian · arXiv (Cornell University) · 2016
Experiences with the implementation of strong Gröbner 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.