A signature-based algorithm for computing Grbner bases in solvable polynomial algebras.

Yao Sun, Dingkang Wang, Xiaodong Ma, Yang Zhang

Browse the full ISSAC paper archive.