Kan
Kan/sm1 (1991--2003) is a system for computing in the ring of differential operators D (and difference operators, ...) Kan, a computer package for symbolic computations in Weyl algebras.
Keywords for this software
References in zbMATH (referenced in 48 articles )
Showing results 1 to 20 of 48.
Sorted by year (- Reichelt, Thomas; Walther, Uli; Zhang, Wenliang: On Lyubeznik type invariants (2022)
- Nabeshima, Katsusuke; Tajima, Shinichi: Methods for computing (b)-functions associated with (\mu)-constant deformations: case of inner modality two (2021)
- Quadrat, Alban (ed.); Zerz, Eva (ed.): 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 (2020)
- Hochster, Melvin: Finiteness properties and numerical behavior of local cohomology (2019)
- Oaku, Toshinori: Algorithms for (D)-modules, integration, and generalized functions with applications to statistics (2018)
- Koyama, Tamio; Nakayama, Hiromasa; Nishiyama, Kenta; Takayama, Nobuki: The holonomic rank of the Fisher-Bingham system of differential equations (2014)
- Nakayama, Hiromasa; Takayama, Nobuki: Computing differential equations for integrals associated to smooth Fano polytope (2013)
- Oaku, Toshinori: Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities (2013)
- Arcadias, Rémi: Multidegree for bifiltered (D)-modules (2012)
- Levandovskyy, V.; Martín-Morales, J.: Algorithms for checking rational roots of (b)-functions and their applications (2012)
- Shibuta, Takafumi: Algorithms for computing multiplier ideals (2011)
- Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans: Constructive (D)-module theory with \textttSingular (2010)
- Bahloul, Rouchdi; Oaku, Toshinori: Local Bernstein-Sato ideals: algorithm and examples (2010)
- Berkesch, Christine; Leykin, Anton: Algorithms for Bernstein-Sato polynomials and multiplier ideals (2010)
- Brickenstein, Michael: Boolean Gröbner bases. Theory, algorithms and applications (2010)
- Nishiyama, Kenta; Noro, Masayuki: Stratification associated with local (b)-functions (2010)
- Andres, Daniel; Levandovskyy, Viktor; Morales, Jorge Martín: Principal intersection and Bernstein-Sato polynomial of an affine variety (2009)
- Castro-Jiménez, Francisco-Jesús; Takayama, Nobuki: The computation of the logarithmic cohomology for plane curves (2009)
- Nakayama, Hiromasa: Algorithm computing the local (b) function by an approximate division algorithm in (\widehat\mathcalD) (2009)
- Oaku, Toshinori: Regular (b)-functions of (D)-modules (2009)