Constructive D-module theory with \texttt{Singular}
DOI10.1007/S11786-010-0058-XzbMATH Open1217.13011OpenAlexW1984804309MaRDI QIDQ541982FDOQ541982
Authors: Daniel Andres, Michael Brickenstein, V. Levandovskyy, Jorge Martín-Morales, Hans Schönemann
Publication date: 8 June 2011
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-010-0058-x
Recommendations
- scientific article; zbMATH DE number 1009685
- Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- Algorithms for Bernstein-Sato polynomials and multiplier ideals
- Principal intersection and Bernstein-Sato polynomial of an affine variety
\(D\)-modules\(b\)-functionBernstein-Sato polynomialsannihilator idealsnon-commutative Gröbner bases
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Sheaves of differential operators and their modules, (D)-modules (32C38)
Cites Work
- Slimgb: Gröbner bases with slim polynomials
- Title not available (Why is that?)
- SINGULAR
- Title not available (Why is that?)
- Bernstein–Sato polynomials of arbitrary varieties
- B-functions and holonomic systems. Rationality of roots of B-functions
- Efficient computation of zero-dimensional Gröbner bases by change of ordering
- Gröbner deformations of hypergeometric differential equations
- Title not available (Why is that?)
- Non-commutative Gröbner bases in algebras of solvable type
- Title not available (Why is that?)
- Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
- Exact linear modeling using Ore algebras
- Sur le theoreme de finitude de la cohomologie p -adique d'une variete affine non singuliere.
- Algorithm computing the local \(b\) function by an approximate division algorithm in \(\widehat{\mathcal D}\)
- Local Bernstein-Sato ideals: algorithm and examples
- Stratification associated with local \(b\)-functions
- A normal form algorithm for the Brieskorn lattice
- Principal intersection and Bernstein-Sato polynomial of an affine variety
- Logarithmic comparison theorem and \({\mathcal D}\)-modules: an overview
- Linearity conditions on the Jacobian ideal and logarithmic--meromorphic comparison for free divisors
- On microlocal $b$-function
- Algorithms for checking rational roots of \(b\)-functions and their applications
- Title not available (Why is that?)
- On preimages of ideals in certain non-commutative algebras
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- Title not available (Why is that?)
- Noncommutative Gröbner bases and filtered-graded transfer.
- Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
- About an algorithm of T. Oaku.
- Algorithms for computing multiplier ideals
Cited In (13)
- Modular techniques for noncommutative Gröbner bases
- \(D\)-module techniques for solving differential equations in the context of Feynman integrals
- Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra
- Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras
- Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
- Algorithms for checking rational roots of \(b\)-functions and their applications
- On Bernstein–Sato ideals for central line arrangements
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- Constructive arithmetics in Ore localizations enjoying enough commutativity
- Holonomic functions and prehomogeneous spaces
- D-algebraic functions
- Principal intersection and Bernstein-Sato polynomial of an affine variety
- Feynman integral relations from parametric annihilators
Uses Software
This page was built for publication: Constructive \(D\)-module theory with \texttt{Singular}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q541982)