On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases

DOI10.1145/2608628.2608639zbMath1325.68297OpenAlexW2005207808MaRDI QIDQ3452415

Shinichi Tajima, Katsusuke Nabeshima

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2608628.2608639

zbMATH Keywords

singularitiesalgebraic local cohomology

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) Local cohomology and commutative rings (13D45)

Related Items (7)

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules ⋮ Computing \(\mu^{*}\)-sequences of hypersurface isolated singularities via parametric local cohomology systems ⋮ Computing Tjurina stratifications of \(\mu \)-constant deformations via parametric local cohomology systems ⋮ Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals ⋮ A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals ⋮ Generalized Integral Dependence Relations ⋮ CSSg method for several genericities of parametric systems

Uses Software

• Jordan

Cites Work

• Jordan
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases