Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases

DOI10.1007/978-3-319-32859-1_22zbMath1460.13052OpenAlexW2463805046MaRDI 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

zbMATH Keywords

Gröbner basescomprehensive Gröbner systemsextended ideal membership problemsparametric syzygy systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items (5)

Computing regular meromorphic differential forms via Saito's logarithmic residues ⋮ A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals ⋮ An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity ⋮ An effective method for computing Grothendieck point residue mappings ⋮ Generalized Integral Dependence Relations

This page was built for publication: Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases