On the parallel computation of comprehensive Gröbner systems
Shutaro Inoue, Yosuke Sato · 2007
We report on our implementation for parallel computations of comprehensive Gröbner systems (introduced by Weispfenning [7]) based on Suzuki-Sato algorithm. It is the first ever parallel implementation of comprehensive Gröbner systems.