Standard bases in power series rings: Uniqueness and superfluous critical pairs
From MaRDI portal
Publication:2368064
DOI10.1006/jsco.1993.1018zbMath0797.13016MaRDI QIDQ2368064
Publication date: 22 August 1993
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1993.1018
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
13F25: Formal power series rings
Related Items
Reduction Mod p of Standard Bases, Formal groups, supersingular abelian varieties and tame ramification, Standard bases for local rings of branches and their modules of differentials