An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology

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

zbMATH Keywords

singularitiesstandard basesalgebraic local cohomology

Mathematics Subject Classification ID

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

• Risa/Asir

This page was built for publication: An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology