Constructive D-module theory with \texttt{Singular}
\(b\)-function\(D\)-modulesannihilator idealsBernstein-Sato polynomialsnon-commutative Gröbner bases
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) Symbolic computation and algebraic computation (68W30)
Algorithms in computational \(D\)-module theory are discussed. Especially new approaches to the computation of Bernstein operators, of logarithmic annihilator of a polynomial, of annihilators of rational functions are considered. A new method to compute the Bernstein-Sato polynomial is introduced. All algorithms considered in the paper have been implemented in \textsc{Singular}. The implementation is discussed and examples are given.
- 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
- A normal form algorithm for the Brieskorn lattice
- About an algorithm of T. Oaku.
- Algorithm computing the local \(b\) function by an approximate division algorithm in \(\widehat{\mathcal D}\)
- Algorithms for checking rational roots of b-functions and their applications
- Algorithms for computing multiplier ideals
- Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
- B-functions and holonomic systems. Rationality of roots of B-functions
- Bernstein–Sato polynomials of arbitrary varieties
- Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
- Efficient computation of zero-dimensional Gröbner bases by change of ordering
- Exact linear modeling using Ore algebras
- Gröbner deformations of hypergeometric differential equations
- scientific article; zbMATH DE number 3747314 (Why is no real title available?)
- scientific article; zbMATH DE number 1211764 (Why is no real title available?)
- scientific article; zbMATH DE number 1988897 (Why is no real title available?)
- scientific article; zbMATH DE number 2151198 (Why is no real title available?)
- scientific article; zbMATH DE number 1860716 (Why is no real title available?)
- scientific article; zbMATH DE number 803209 (Why is no real title available?)
- Linearity conditions on the Jacobian ideal and logarithmic--meromorphic comparison for free divisors
- Local Bernstein-Sato ideals: algorithm and examples
- Logarithmic comparison theorem and \({\mathcal D}\)-modules: an overview
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- Non-commutative Gröbner bases in algebras of solvable type
- Noncommutative Gröbner bases and filtered-graded transfer.
- On microlocal b-function
- On preimages of ideals in certain non-commutative algebras
- Principal intersection and Bernstein-Sato polynomial of an affine variety
- SINGULAR
- Slimgb: Gröbner bases with slim polynomials
- Stratification associated with local \(b\)-functions
- Sur le theoreme de finitude de la cohomologie p -adique d'une variete affine non singuliere.
- Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
- Feynman integral relations from parametric annihilators
- Modular techniques for noncommutative Gröbner bases
- Constructive arithmetics in Ore localizations enjoying enough commutativity
- Principal intersection and Bernstein-Sato polynomial of an affine variety
- Algorithms for Bernstein-Sato polynomials and multiplier ideals
- scientific article; zbMATH DE number 1009685 (Why is no real title available?)
- Algorithms for checking rational roots of b-functions and their applications
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- Basic module theory over non-commutative rings with computational aspects of operator algebras
- On Bernstein–Sato ideals for central line arrangements
- Holonomic functions and prehomogeneous spaces
- Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra
- D-module techniques for solving differential equations in the context of Feynman integrals
- D-algebraic functions
- Noetherian operators for local cohomology classes and holonomic d-modules associated with non-isolated hypersurface singularities
- Algorithms for computing Kashiwara operators and s-parametric annihilators associated with isolated hypersurface singularities
- Differential equations for moving hyperplane arrangements
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)
