Kan
From MaRDI portal
Cited in
(63)- Computing the cup product structure for complements of complex affine varieties.
- Methods for computing \(b\)-functions associated with \(\mu\)-constant deformations: case of inner modality two
- Algorithms for Bernstein-Sato polynomials and multiplier ideals
- The holonomic rank of the Fisher-Bingham system of differential equations
- Factoring and decomposing a class of linear functional systems
- Cohomology, stratifications and parametric Gröbner bases in characteristic zero.
- \({\mathcal D}\)-modules on smooth toric varieties
- Minimal filtered free resolutions for analytic D-modules.
- Constructive \(D\)-module theory with \texttt{Singular}
- Algorithms for computing multiplier ideals
- scientific article; zbMATH DE number 2034378 (Why is no real title available?)
- scientific article; zbMATH DE number 1795744 (Why is no real title available?)
- Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\)
- Annihilating ideals for an algebraic local cohomology class
- Localization at hyperplane arrangements: combinatorics and \({\mathcal D}\)-modules
- Gröbner deformations of regular holonomic systems
- Algorithms for checking rational roots of b-functions and their applications
- scientific article; zbMATH DE number 7034256 (Why is no real title available?)
- An algorithmic approach to resolutions
- On Lyubeznik type invariants
- Algorithm computing the local \(b\) function by an approximate division algorithm in \(\widehat{\mathcal D}\)
- Local Bernstein-Sato ideals: algorithm and examples
- Algorithmic computation of de Rham cohomology of complements of complex affine varieties
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- Plural
- Risa/Asir
- slimgb
- Felix
- BERGMAN
- OreModules
- MAS
- D-modules
- DIFFALG
- gmssing.lib
- OpenXM
- NLControl
- OreAlgebraicAnalysis
- TDDS
- Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities
- Regular \(b\)-functions of \(D\)-modules
- The computation of the logarithmic cohomology for plane curves
- Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014
- Polynomial and rational solutions of holonomic systems
- Gröbner deformations of hypergeometric differential equations
- Specialization of Appell's functions to univariate hypergeometric functions
- Weyl closure of a linear differential operator
- Computing differential equations for integrals associated to smooth Fano polytope
- Computing the support of local cohomology modules
- Stratification associated with local \(b\)-functions
- scientific article; zbMATH DE number 1693056 (Why is no real title available?)
- Tangent cone algorithm for homogenized differential operators
- Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
- Boolean Gröbner bases. Theory, algorithms and applications
- Finiteness properties and numerical behavior of local cohomology
- Bernstein–Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements
- Multidegree for bifiltered \(D\)-modules
- Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
- Principal intersection and Bernstein-Sato polynomial of an affine variety
- scientific article; zbMATH DE number 2030120 (Why is no real title available?)
- An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation
- \textsc{Plural}, a non-commutative extension of \textsc{Singular}: past, present and future.
- Gröbner bases and logarithmic \(\mathcal D\)-modules.
- Local Cohomology—An Invitation
This page was built for software: Kan
