grobcov.lib公司

D、 2.4 grobcov_lib:参数理想的Groebner覆盖:综合Groebner系统,Groebner覆盖,规范形式,参数多项式系统。Monteeber's论文包含了BMEBER的理想参数库。符号计算杂志45(2010)1391-1425。