An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology
From MaRDI portal
Publication:2879155
DOI10.1007/978-3-662-44199-2_63zbMath1437.13008OpenAlexW212955257MaRDI QIDQ2879155
Katsusuke Nabeshima, Shinichi Tajima
Publication date: 8 September 2014
Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_63
Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Local cohomology and commutative rings (13D45) Formal power series rings (13F25)
Uses Software
This page was built for publication: An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology