Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems

• 期刊名称Mathematics in Computer Science
• 作者Nabeshima, Katsusuke; Tajima, Shinichi
• 印刷ISSN1661-8270
• 电子ISSN1661-8289
• 文件大小443.52KB
• 发表时间2018-7-5
• DOI10.1007/s11786-018-0354-4