Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing
摘要
We propose a new computational method for comprehensive Gröbner systems by merging algorithms developed by Kapur–Sun–Wang and Nabeshima, and leveraging parallel processing. Furthermore, we have implemented this computational method in the computer algebra system Risa/Asir, we evaluate its effectiveness based on the results of computational experiments.