论文信息 - Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm

Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm

In [5], we showed simple algorithms to compute comprehensive Gröbner systems (CGS) and comprehensive Gröbner bases (CGB). We call them Suzuki-Sato algorithms in this paper. Other known existing software packages to compute CGS or CGB are CGB of Redlog (Weispfenning) [1], DISPGB, and MCCGS (Montes) [2, 3].

Akira Suzuki | Yosuke Sato

[1] Antonio Montes,et al. Improving the DISPGB algorithm using the discriminant ideal , 2006, J. Symb. Comput..

[2] Akira Suzuki,et al. A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases , 2006, ISSAC '06.

[3] Masayuki Noro,et al. Risa/Asir—a computer algebra system , 1992, ISSAC '92.

[4] Thomas Sturm,et al. REDLOG: computer algebra meets computer logic , 1997, SIGS.