Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases
From MaRDI portal
Publication:2807842
DOI10.1007/978-3-319-32859-1_22zbMath1460.13052MaRDI QIDQ2807842
Shinichi Tajima, Katsusuke Nabeshima
Publication date: 25 May 2016
Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_22
Gröbner bases; comprehensive Gröbner systems; extended ideal membership problems; parametric syzygy systems
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)