Merging Multiple Algorithms for Computing Comprehensive Grbner Systems Using Parallel Processing.

Natsu Wada, Katsusuke Nabeshima

Browse the full CASC paper archive.